Satisfiability.jl: Satisfiability Modulo Theories in Julia.
Emiko SorokaMykel J. KochenderferSanjay LallPublished in: CoRR (2023)
Keyphrases
- satisfiability modulo theories
- modulo theories
- satisfiability problem
- answer set programming
- sat problem
- sat solvers
- propositional logic
- np complete
- computational complexity
- phase transition
- boolean variables
- conjunctive normal form
- model checking
- search algorithm
- boolean satisfiability
- knowledge representation
- evolutionary algorithm