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 2005 Competitions and Evaluations
Guest editors: Daniel Le Berre and Laurent Simon
Article type: Editorial
Authors: Le Berre, Daniela | Simon, Laurentb
Affiliations: [a] CRIL-CNRS FRE 2499, Université d’Artois, Rue Jean Souvraz SP 18 – F, 62307 Lens Cedex, France. E-mail: leberre@cril.univ-artois.fr | [b] LRI, Université Paris-Sud, Bâtiment 490, U.M.R. CNRS 8623, 91405 Orsay Cedex, France. E-mail: simon@lri.fr
DOI: 10.3233/SAT190013
Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 2, no. 1-4, pp. i-xiv, 2006