Th QuoteRef: bordL12

QuoteRef: bordL12_2006

Topic:
logic
Topic:
constraints

Reference

Bordeaux, L., Hamadi, Y., Zhang, L., "Propositional satisfiability and constraint programming: a comparative survey", ACM Computing Surveys, 38, 4, December 2006, pp. 1-54. Google

Quotations

abstract ;;Quote: survey of propositional satisfiability (SAT) and constraint programming (CP); similarities and differences

Related Topics

Topic: logic (84 items)
Topic: constraints (35 items)