Pages that link to "Item:Q3612464"
From MaRDI portal
The following pages link to Formalizing Dangerous SAT Encodings (Q3612464):
Displaying 5 items.
- Curriculum-based course timetabling with SAT and MaxSAT (Q475170) (← links)
- Chinese remainder encoding for Hamiltonian cycles (Q2118300) (← links)
- New Encodings of Pseudo-Boolean Constraints into CNF (Q3637167) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Regular resolution effectively simulates resolution (Q6551714) (← links)
