Login / Signup

To Encode or to Propagate? The Best Choice for Each Constraint in SAT.

Ignasi AbíoRobert NieuwenhuisAlbert OliverasEnric Rodríguez-CarbonellPeter J. Stuckey
Published in: CP (2013)
Keyphrases
  • search algorithm
  • search strategies
  • boolean satisfiability
  • sat solvers
  • database
  • data sets
  • knowledge base
  • phase transition
  • satisfiability problem
  • penalty function
  • stochastic local search algorithms