Proofs for Incremental SAT with Inprocessing.
Benjamin Kiesl-ReiterMichael W. WhalenPublished in: FMCAD (2023)
Keyphrases
- incremental learning
- sat solvers
- theorem proving
- satisfiability problem
- formal proof
- incremental clustering
- search space
- formal proofs
- theorem prover
- sat problem
- sat instances
- stochastic local search
- stochastic local search algorithms
- mathematical proofs
- neural network
- propositional satisfiability
- max sat
- search strategies
- search algorithm