Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
1 |
| |||||||
5 |
| |||||||
1995 | Logic-based 0-1 constraint programming | Book | ||||||
1995 | Logic-based 0-1 Constraint Solving in Constraint Logic Programming Fachbereich Informatik, Universität des Saarlandes, Germany | Thesis - PhD thesis | ||||||
1994 | Simplifying Clausal Satisfiability Problems In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | Proceedings Article | ||||||
1993 | A Complete Symbolic 0-1 Constraint Solver In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | Proceedings Article | ||||||
1993 | Linear 0-1 Inequalities and Extended Clauses In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51 | Proceedings Article | ||||||
6 |
| |||||||
1 |
| |||||||
1 |
| |||||||
5 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
6 |
| |||||||
2 |
| |||||||
2 |
|