Feature Interaction as a Satisfiability Problem.

Carlos Areces Wiet Bouma Maarten de Rijke

Published in: MASCOTS (1999)

Keyphrases

satisfiability problem
np complete
temporal logic
stochastic local search algorithms
search algorithm
sat problem
phase transition
solving hard
stochastic local search
max sat
model checking
randomly generated
sat instances
mazurkiewicz traces