Search the dblp DataBase
Thierry Castell :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Thierry Castell , Claudette Cayrol , Michel Cayrol , Daniel Le Berre Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. [Citation Graph (0, 0)][DBLP ] ECAI, 1996, pp:350-354 [Conf ] Thierry Castell , Hélène Fargier Propositional Satisfaction Problems and Clausal CSPs. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:214-218 [Conf ] Thierry Castell Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure. [Citation Graph (0, 0)][DBLP ] ICTAI, 1996, pp:428-429 [Conf ] Thierry Castell , Michel Cayrol Hidden Gold in Random Generation of SAT Satisfiable Instances. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1997, pp:372-377 [Conf ] Thierry Castell Random Walks and Brownian Motion. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 1999, v:18, n:2, pp:- [Journal ] Search in 0.002secs, Finished in 0.002secs