| # | Y |  | Author/Editor | | Title | |
|---|
| 1 |
 | 2013 |
| |
| 2 |
| |
| 16 |
| 2007 |
| |
| 43 |
| |
| 41 |
| 2005 |
| |
| 37 |
| |
| 36 |
| 2003 |
| |
| 39 |
| |
| 58 |
| 2001 |
| |
| 48 |
| |
| 61 |
| 1999 |
| |
| 73 |
| |
| 42 |
| 1997 |
| |
| 64 |
| |
| 55 |
| 1995 |
| |
| 64 |
| |
| 47 |
 | 1993 |
| |
| 3 |
|
| |
| 36 |
|
| Proceedings Article |
| |
| | | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | | Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83 | |
| | | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | | Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96 | |
| | | Barth, Peter | | A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | |
| | | Barth, Peter | | Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51 | |
| | | Barth, Peter
Bockmayr, Alexander | | Solving 0-1 Problems in CLP($\cal PB$)
In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269 | |
| | | Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán | | A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171 | |
| | | Basin, David A.
Matthews, Seán | | A Conservative Extension of First-Order Logic and its Applications to Theorem Proving
In: Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), 151-160 | |
| | | Basin, David A.
Walsh, Toby | | Difference Unification
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 116-122 | |
| | | Bockmayr, Alexander | | 0-1 Constraints and 0-1 Optimization
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | |
| | | Bockmayr, Alexander | | Embedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254 | |
| | | Bockmayr, Alexander | | Logic Programming with Pseudo-Boolean Constraints
In: Constraint Logic Programming---Selected Research, 327-350 | |
