PrecoSAT uses an MIT style license. In essence, you can use and modify the sources as you like provided that you acknowledge the origin of the software in the source code. More details can be found in the LICENSE file that comes with the sources. There is no warranty. Background: The ideas behind PrecoSAT are partially described in the system description for the SAT’09 SAT Competition. SAT is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). The Handbook of Satisfiability gives an excellent overview of theoretical and practical aspects for the field. Further information on SAT can be found at www.satlive.org or www.satlib.org. We also have some recent papers on SAT mostly focusing on practical SAT solving. On our software page you find earlier SAT solvers and related tools by our group.
Keywords for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
- Belov, Anton; Morgado, António; Marques-Silva, Joao: SAT-based preprocessing for maxsat (2013)
- Fagerberg, Rolf; Flamm, Christoph; Merkle, Daniel; Peters, Philipp; Stadler, Peter F.: On the complexity of reconstructing chemical reaction networks (2013)
- Manthey, Norbert; Philipp, Tobias; Wernhard, Christoph: Soundness of inprocessing in clause sharing SAT solvers (2013)
- Morawiecki, Paweł; Srebrny, Marian: A SAT-based preimage analysis of reduced Keccak hash functions (2013)
- Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Mayer-Eichberger, Valentin: A new look at BDDs for pseudo-Boolean constraints (2012)
- Codish, Michael; Giesl, Jürgen; Schneider-Kamp, Peter; Thiemann, René: SAT solving for termination proofs with recursive path orders and dependency pairs (2012)
- Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H.: Finding efficient circuits for ensemble computation (2012)
- Martins, Ruben; Manquinho, Vasco; Lynce, In^es: An overview of parallel SAT solving (2012)
- Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric: Cardinality networks: a theoretical and empirical study (2011)
- Heule, Marijn J.H.; Järvisalo, Matti; Biere, Armin: Efficient CNF simplification based on binary implication graphs (2011)
- Hyvärinen, Antti E.J.; Junttila, Tommi; Niemelä, Ilkka: Partitioning SAT instances for distributed solving (2010)
Further publications can be found at: http://fmv.jku.at/papers/index.html