Pages that link to "Item:Q5325869"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325869):
Displayed 5 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)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- The state of SAT (Q2643296) (← links)
- Modelling Max-CSP as Partial Max-SAT (Q3502687) (← links)