Speculative SAT Modulo SAT.
Hari Govind V. K.Isabel Garcia-ContrerasSharon ShohamArie GurfinkelPublished in: CoRR (2023)
Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- propositional satisfiability
- stochastic local search algorithms
- search algorithm
- sat solving
- phase transition
- sat instances
- search strategies
- np complete problems
- stochastic local search
- data structure
- case study
- data sets
- pseudo boolean constraints
- boolean satisfiability
- variable ordering
- max sat
- temporal logic
- objective function
- artificial intelligence
- information retrieval
- neural network