Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;C. Ansótegui,2005
2. Le Berre, D., Simon, L.: SAT competition (2005),
www.satcompetition.org/2005/
3. Lecture Notes in Computer Science;C. Bessière,2004
4. Lecture Notes in Artificial Intelligence;M. Cadoli,2006
5. Cadoli, M., Schaerf, A.: Compiling problem specifications into SAT. Artificial Intelligence 162(1-2), 89–120 (2005)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem;Lecture Notes in Computer Science;2020
2. Optimizing SAT Encodings for Arithmetic Constraints;Lecture Notes in Computer Science;2017
3. meSAT: multiple encodings of CSP to SAT;Constraints;2014-06-17
4. Representative Encodings to Translate Finite CSPs into SAT;Integration of AI and OR Techniques in Constraint Programming;2014
5. Solving the all-interval series problem;Proceedings of the Fifth Symposium on Information and Communication Technology - SoICT '14;2014