Formalizing Dangerous SAT Encodings
From MaRDI portal
Publication:3612464
Recommendations
Cited in
(9)- Regular resolution effectively simulates resolution
- Chinese remainder encoding for Hamiltonian cycles
- Curriculum-based course timetabling with SAT and MaxSAT
- Principles and Practice of Constraint Programming – CP 2004
- Automatic generation of propagation complete SAT encodings
- scientific article; zbMATH DE number 2016108 (Why is no real title available?)
- A Logical Autobiography
- New Encodings of Pseudo-Boolean Constraints into CNF
- SAT-Based Synthesis Methods for Safety Specs
This page was built for publication: Formalizing Dangerous SAT Encodings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612464)