From XSAT to SAT by Exhibiting Boolean Functions.

Richard Ostrowski Lionel Paris

Published in: Int. J. Artif. Intell. Tools (2009)

Keyphrases

boolean functions
randomly generated
sat problem
uniform distribution
satisfiability problem
sat solvers
sat instances
stochastic local search

phase transition
propositional satisfiability
prime implicants
boolean formula
functional properties
multi valued
threshold functions

relevant variables
dnf formulae
search algorithm
bi decomposition
membership queries
max sat
linear threshold

binary decision diagrams
search strategies
polynomial size
bounded treewidth
branch and bound algorithm
orders of magnitude
rough sets