On the Minimum Satisfiability Problem.
Umair ArifRobert BenkocziDaya Ram GaurRamesh KrishnamurtiPublished in: CALDAM (2020)
Keyphrases
- satisfiability problem
- np complete
- temporal logic
- search algorithm
- phase transition
- sat problem
- pspace complete
- max sat
- stochastic local search
- stochastic local search algorithms
- solving hard
- sat instances
- conjunctive normal form
- evolutionary algorithm
- genetic algorithm
- decision procedures
- np hard
- query answering
- relational databases
- modal logic