Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
1995 | Pseudo-Boolean Constraint Logic Programming In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53 | BarthBockmayr95e | |||||
1994 | Global Consistency in CLP($\cal PB$) In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4 | BarthBockmayr94 | |||||
1993 | Solving 0-1 Problems in CLP($\cal PB$) In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269 | BarthBockmayr93a | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|