From XSAT to SAT by Exhibiting Boolean Functions.
Richard OstrowskiLionel ParisPublished 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