Efficient SAT-Encoding of Linear CSP Constraints

Nguyen Van Hau, Pedro Barahona,

URL	https://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Barahona_etal.pdf
Publisher	Universitat Politècnica de Catalunya
Address	Fort Lauderdale, FL.
Organization	ISAIM 2014 - International Symposium on Artificial Intelligence and Mathematics
URL	https://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Barahona_etal.pdf
Publisher	Universitat Politècnica de Catalunya
Address	Fort Lauderdale, FL.
Organization	ISAIM 2014 - International Symposium on Artificial Intelligence and Mathematics

Publication