MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Constraint Solving for Proof Planning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Extensions of Constraint Solving for Proof Planning
by Erica Melis, Jurgen Zimmer, Tobias Müller — 1999 — In European Conference on Artificial Intelligence
…Extensions of Constraint Solving for Proof Planning Erica Melis 1 Jurgen Zimmer 1 Tobias…
Cited by 7 (6 self) – Add To MetaCart

Integrating Constraint Solving into Proof Planning
by Erica Melis, Jürgen Zimmer, Tobias Müller
…Integrating Constraint Solving into Proof Planning Erica Melis 1 , Jurgen Zimmer 2…
Cited by 4 (2 self) – Add To MetaCart

AI-Techniques in Proof Planning
by Erica Melis — 1998 — Artificial Intelligence
…-specific constraint solving. Several AI-techniques contribute to the successful planning of proofs that were beyond…
Cited by 75 (37 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB