Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses.
Mathias FleuryArmin BierePublished in: CoRR (2022)
Keyphrases
- multi threaded
- sat solving
- boolean satisfiability
- clause learning
- sat solvers
- operating system
- sat problem
- information flow
- branch and bound algorithm
- multi core processors
- randomly generated
- computer architecture
- probabilistic planning
- symmetry breaking
- search space
- multithreading
- integer linear programming
- max sat
- boolean formula
- real time
- highly scalable
- first order logic
- theorem proving
- memory efficient
- theorem prover
- search tree
- highly efficient
- heuristic search
- query processing