Pages that link to "Item:Q2457689"
From MaRDI portal
The following pages link to Compiling problem specifications into SAT (Q2457689):
Displaying 8 items.
- Curriculum-based course timetabling with SAT and MaxSAT (Q475170) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- meSAT: multiple encodings of CSP to SAT (Q2342599) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- atalog: A logic language for expressing search and optimization problems (Q3550912) (← links)
- Compiling finite domain constraints to SAT with<tt>BEE</tt> (Q4911128) (← links)
