SAT Modulo Intuitionistic Implications.

Koen Claessen Dan Rosén

Published in: LPAR (2015)

Keyphrases

satisfiability problem
sat solvers
linear logic
search algorithm
fuzzy set theory
sat problem
theorem prover
stochastic local search
stochastic local search algorithms
np complete
search strategies
fuzzy numbers
fuzzy information
interval valued
classical logic
data sets
phase transition
genetic algorithm