ALIAS: a modular tool for finding backdoors for SAT
From MaRDI portal
Publication:1656599
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
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