Searching for authors named Peter Baumgartner – sorted by Relevance.
-
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

