Travelled to:1 × Australia
1 × USA
1 × United Kingdom
Collaborated with:P.Mathieu O.Bailleux Y.Boufkhad
Talks about:compil (2) achiev (2) new (2) constraint (1) kanowledg (1) knowledg (1) calculus (1) partial (1) boolean (1) search (1)
Person: Olivier Roussel
DBLP: Roussel:Olivier
Contributed to:
2009
19971996Wrote 3 papers:
- SAT-2009-BailleuxBR #constraints #encoding #pseudo
- New Encodings of Pseudo-Boolean Constraints into CNF (OB, YB, OR), pp. 181–194.
- CADE-1997-RousselM #calculus #compilation
- Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case (OR, PM), pp. 161–175.
- CADE-1996-RousselM #compilation
- A New Method for Knowledge Compilation: The Achievement by Cycle Search (OR, PM), pp. 493–507.