The Sat4j library, release 2.2.
Daniel Le BerreAnne ParrainPublished in: J. Satisf. Boolean Model. Comput. (2010)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- phase transition
- search algorithm
- propositional satisfiability
- boolean satisfiability
- cross platform
- genetic algorithm
- orders of magnitude
- special case
- computational complexity
- stochastic local search
- website
- artificial intelligence
- neural network
- sat encodings
- sat solving
- backtracking search