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

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

Browse the full ECAI paper archive.