Hash-based preprocessing and inprocessing techniques in SAT solvers

DOI10.1007/978-3-030-80223-3_7OpenAlexW3173795160MaRDI QIDQ2118288

Henrik Cao

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-80223-3_7

zbMATH Keywords

hashSATpreprocessingCDCLinprocessing

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Uses Software

• MiniSat
• MaxPre

Cites Work

• Unnamed Item
• Inprocessing Rules
• Clause Elimination Procedures for CNF Formulas
• Keyed hash functions
• Frontiers of Combining Systems
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Applications of SAT Solvers to Cryptanalysis of Hash Functions