Local search and restart strategies for satisfiability solving in fuzzy logics.
Tim BrysMadalina M. DruganPeter A. N. BosmanMartine De CockAnn NowéPublished in: GEFS (2013)
Keyphrases
- stochastic local search
- search heuristics
- combinatorial optimization
- satisfiability testing
- satisfiability problem
- random sat instances
- fuzzy sets
- decision procedures
- search algorithm
- genetic algorithm
- fuzzy logic
- expressive power
- sat solving
- computational properties
- davis putnam logemann loveland
- propositional logic
- random walk
- membership functions
- fuzzy clustering
- search space
- inference rules
- systematic search
- tabu search
- computational complexity
- modal logic
- simulated annealing
- np complete
- boolean formula
- sat problem
- search strategies
- phase transition
- search procedures
- first order logic
- classical logic
- propositional satisfiability
- truth values
- memetic algorithm
- sat encodings
- search procedure
- fuzzy numbers
- valued logic
- search strategy