Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010
Armin Biere
2021University Library Linz repository (Johannes Kepler Universitat Linz)93 citationsDOIOpen Access PDF
Abstract
This note serves as system description for our SAT solvers that entered the SAT Race 2010 affiliated to the SAT conference 2010.
Topics & Concepts
Race (biology)SociologyGender studiesReservoir Engineering and Simulation Methods