Extensions of Constraint Solving for Proof Planning (2000)

by Erica Melis , Jürgen Zimmer , Tobias Müller
Venue:IN EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE
Citations:7 - 6 self