Skip to main content

The order encoding: from tractable CSP to tractable SAT (extended abstract)

Justyna Petke and Peter Jeavons

Book Title
Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing − SAT 2011
Pages
371−372
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6695
Year
2011