Login / Signup

Applying the Davis-Putnam Procedure to Non-clausal Formulas.

Enrico GiunchigliaRoberto Sebastiani
Published in: AI*IA (1999)
Keyphrases