DMCA

Applying the Davis-Putnam procedure to non-clausal formulas (1999)

Cached

Download Links

by Enrico Giunchiglia , Roberto Sebastiani
Venue:In Proc. AI*IA'99, number 1792 in Lecture Notes in Arti Intelligence
Citations:29 - 6 self