Solving Database Satisfiability Problems.

François Bry Sunna Torge

Published in: Grundlagen von Datenbanken (1999)

Keyphrases

satisfiability problem
database
stochastic local search
solving hard
np complete
temporal logic
search algorithm
graph coloring problems
phase transition
logic programming
combinatorial optimization
search procedures
sat instances
propositional satisfiability
finite domain