Login / Signup

Preface to Special Issue on SAT/CP Integration.

Youssef HamadiLucas Bordeaux
Published in: J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
  • special issue
  • ai edam
  • international journal
  • applied intelligence
  • ecml pkdd
  • special section
  • satisfiability problem
  • search algorithm
  • constraint programming
  • information technology
  • international workshop
  • sat problem