Login / Signup

Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).

Tomoya TanjoNaoyuki TamuraMutsunori Banbara
Published in: SAT (2012)
Keyphrases
  • constraint satisfaction problems
  • sat encodings
  • neural network
  • knowledge base
  • multi agent systems
  • orders of magnitude
  • constraint propagation