The following pages link to GAC Via Unit Propagation (Q3523055):
Displaying 12 items.
- Set constraint model and automated encoding into SAT: application to the social golfer problem (Q256655) (← links)
- The power of propagation: when GAC is enough (Q1701225) (← links)
- Propagation complete encodings of smooth DNNF theories (Q2079276) (← links)
- Computing AES related-key differential characteristics with constraint programming (Q2289026) (← links)
- Multi-language evaluation of exact solvers in graphical model discrete optimization (Q2398440) (← links)
- Computational protein design as an optimization problem (Q2453727) (← links)
- Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers (Q2818024) (← links)
- Knowledge Compilation with Empowerment (Q2891394) (← links)
- New Encodings of Pseudo-Boolean Constraints into CNF (Q3637167) (← links)
- Bounds on the size of PC and URC formulas (Q5145828) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479293) (← links)
- A lower bound on CNF encodings of the at-most-one constraint (Q5915765) (← links)