This is a portfolio solver pfolioUZK, a naive parallel portfolio SAT solver based on the implementation of pico-portfolio by Olivier Roussel 2010. Version: SAT Challenge 2012
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Cai, Shaowei; Su, Kaile: Local search for Boolean satisfiability with configuration checking and subscore (2013)
- Manthey, Norbert; Philipp, Tobias; Wernhard, Christoph: Soundness of inprocessing in clause sharing SAT solvers (2013)