Extensions of Constraint Solving for Proof Planning.

Erica Melis, Jrgen Zimmer, Tobias Mller

Browse the full ECAI paper archive.