ALIAS: a modular tool for finding backdoors for SAT

DOI10.1007/978-3-319-94144-8_25OpenAlexW2810080918MaRDI QIDQ1656599

Stepan Kochemazov, Oleg Sergeevich Zaikin

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_25

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

On black-box optimization in divide-and-conquer SAT solving, Finding Effective SAT Partitionings Via Black-Box Optimization, Unnamed Item, ALIAS

Uses Software

• Paramils
• Plingeling
• PaInleSS
• abcdSAT