Pages that link to "Item:Q5325869"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325869):
Displaying 9 items.
- Set constraint model and automated encoding into SAT: application to the social golfer problem (Q256655) (← links)
- Dealing with satisfiability and \(n\)-ary CSPs in a logical framework (Q438582) (← links)
- Approximately propagation complete and conflict propagating constraint encodings (Q1656556) (← links)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- The state of SAT (Q2643296) (← links)
- Consistency and localizability (Q2880900) (← links)
- Local consistency and SAT-solvers (Q2887073) (← links)
- Modelling Max-CSP as Partial Max-SAT (Q3502687) (← links)
- Theory and Applications of Satisfiability Testing (Q5325854) (← links)