Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: SAT/CP Integration
Guest editors: Youssef Hamadi and Lucas Bordeaux
Article type: Editorial
Authors: Hamadi, Youssef | Bordeaux, Lucas
Affiliations: Microsoft Research, 7 J J Thomson Avenue, CB3 0FB Cambridge, United Kingdom. E-mails: [email protected], [email protected]
DOI: 10.3233/SAT190008
Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 1, no. 3-4, pp. i-ii, 2006