Thierry Castell

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

Thierry Castell
Random Walks and Brownian Motion. Comput. Artif. Intell. 18 (2) (1999)
Thierry Castell, Hélène Fargier
Propositional Satisfaction Problems and Clausal CSPs. ECAI (1998)
Thierry Castell, Michel Cayrol
Hidden Gold in Random Generation of SAT Satisfiable Instances. IJCAI (1) (1997)
Thierry Castell
Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure. ICTAI (1996)
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. ECAI (1996)