antom is a C++ library for solving: SAT, Unweighted MaxSAT, Partial MaxSAT, and #SAT problems.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Horáček, Jan; Kreuzer, Martin: On conversions from CNF to ANF (2020)
- Horáček, Jan; Kreuzer, Martin: 3BA: a border bases solver with a SAT extension (2018)
- Burchard, Jan; Schubert, Tobias; Becker, Bernd: Laissez-faire caching for parallel #SAT solving (2015)
- Martins, Ruben; Manquinho, Vasco; Lynce, Inês: An overview of parallel SAT solving (2012)