Similar Items: Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
- Improved Biclique Cryptanalysis of the Lightweight Cipher FUTURE
- A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
- SAT-Inspired Higher-Order Eliminations
- Improving SAT Solvers on Orthogonal Latin Square Problems
- Formalization of Abstract State Transition Systems for SAT