Thierry Castell

According to our database, Thierry Castell authored at least 5 papers between 1996 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Random Walks and Brownian Motion.

Thierry Castell

Comput. Artif. Intell., 1999

1998

Propositional Satisfaction Problems and Clausal CSPs.

Thierry Castell, Hélène Fargier

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Hidden Gold in Random Generation of SAT Satisfiable Instances.

Thierry Castell, Michel Cayrol

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure.

Thierry Castell

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models.

Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre

Proceedings of the 12th European Conference on Artificial Intelligence, 1996