Equivalence Classes of Random Boolean Trees and Application to the Catalan Satisfiability Problem.

Antoine Genitrini Cécile Mailler

Published in: LATIN (2014)

Keyphrases

equivalence classes
satisfiability problem
equivalence class
np complete
phase transition
temporal logic
sat problem
bayesian network structures
stochastic local search algorithms
search algorithm
special case
orders of magnitude
boolean functions
randomly generated