Speculative SAT Modulo SAT.
Hari Govind V. K.Isabel Garcia-ContrerasSharon ShohamArie GurfinkelPublished in: TACAS (1) (2024)
Keyphrases
- data structure
- sat solvers
- search algorithm
- satisfiability problem
- search strategies
- sat problem
- stochastic local search algorithms
- boolean satisfiability
- max sat
- sat solving
- stochastic local search
- propositional satisfiability
- pseudo boolean constraints
- phase transition
- knowledge base
- data mining
- sat instances
- constraint satisfaction
- lower bound
- boolean formula
- reinforcement learning
- np complete problems
- information systems