Searching for authors named Peter Baumgartner – sorted by Relevance.
62 documents found, showing 1 through 10.
Next 10 →
-
ME(LIA)- Model Evolution With Linear Integer Arithmetic Constraints
- …ME(LIA) - Model Evolution With Linear Integer Arithmetic Constraints Peter Baumgartner NICTA…
- Add To MetaCart
-
A Model Elimination Calculus with Built-in Theories
- …A Model Elimination Calculus with Built-in Theories Peter Baumgartner Universitat Koblenz…
- Cited by 18 (10 self) – Add To MetaCart
-
Refinements of Theory Model Elimination and a Variant without Contrapositives
- …Refinements of Theory Model Elimination and a Variant without Contrapositives Peter Baumgartner…
- Cited by 9 (6 self) – Add To MetaCart
-
Linear and Unit-Resulting Refutations for Horn Theories
- …Linear and Unit-Resulting Refutations for Horn Theories * Peter Baumgartner University of Koblenz…
- Cited by 2 (0 self) – Add To MetaCart
-
A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure
- …A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner Institut fur…
- Cited by 35 (5 self) – Add To MetaCart
-
Automated Deduction Techniques for the Management of Personalized Documents
- …Automated Deduction Techniques for the Management of Personalized Documents Peter Baumgartner…
- Cited by 43 (9 self) – Add To MetaCart
-
Hyper Tableaux - The Next Generation
- …Hyper Tableaux --- The Next Generation Peter Baumgartner 32/97 Fachberichte INFORMATIK Universit…
- Cited by 35 (9 self) – Add To MetaCart
-
FDPLL – A First-Order Davis-Putnam-Logeman-Loveland Procedure
- …FDPLL — A First-Order Davis-Putnam-Logeman-Loveland Procedure Peter Baumgartner Institut für…
- Cited by 30 (7 self) – Add To MetaCart
-
unknown title
- …¦§¨ ©¥��¤�£�¥�� �§�¥£ �¨§�¨¡��¥�� ¡¢£¤¢¥ Peter Baumgartner and Ulrich Furbach Universität Koblenz…
- Add To MetaCart
-
Model Elimination without Contrapositives and its Application to PTTP
- …Model Elimination Without Contrapositives and its Application to PTTP Peter Baumgartner Ulrich…
- Cited by 24 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
