By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
Month: March 2015
Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors
By Pavel Surynek. Communicated by Roman Bartak and Tom Schrijvers.
CFP: AI*IA 2015
AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence, Ferrara September 23-25, 2015 http://aixia2015.unife.it AI*IA 2015 is the fourteenth International Conference on Advances in Artificial Intelligence held bi-annually by the Italian Association for Artificial Intelligence (AI*IA). Topics…