SAT v CSP

By Thomas J. Walsh. International Conference on Principles and Practice of Constraint Programming, 2000

307 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/bbc6db905bf019e2b020b822b16ba3508afd5d89

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Myra B. Cohen

Citations in the corpus

• Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach (2008, background): “In certain applications, alternative encodings, such as log encodings, may provide performance benefits for SAT [31].”
• Handbook of Constraint Programming (2006, unknown): “The variables of the Boolean viewpoint are closely similar to the variables of the direct encoding of a CSP into SAT [49].”