| |
| 1996 | ||
|---|---|---|
| 4 | Greg Sidebottom, William S. Havens: Nicolog: A Simple Yet Powerful cc(FD) Language. J. Autom. Reasoning 17(3): 371-403 (1996) | |
| 1993 | ||
| 3 | Greg Sidebottom: Optimizing Constraint Processing in CLP(FD). ILPS 1993: 660 | |
| 2 | Greg Sidebottom: Implementing CLP(IB) Using the Connection Theorem Proving Method and a Clause Management System. J. Symb. Comput. 15(1): 27-48 (1993) | |
| 1992 | ||
| 1 | Greg Sidebottom, William S. Havens: Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming. Computational Intelligence 8: 601-623 (1992) | |
| 1 | William S. Havens | [1] [4] |