|
Algorithms
- Aiken, A. and Wimmers, E.L., Solving systems of set
constraints. In the Proceedings of the Seventh Annual IEEE
Symposium on Logic in Computer Science, pp 329-340. June 1992.
- Kozen, D., Set constraints and logic programming. In the
Proceedings of the First International Conference on Constraints
in Computational Logics. p 302. 1994.
Foundations
- Jaffar, J. and Lassez, J. L.,
Constraint logic programming. In the Proceedings of the 14th
ACM SIGACT-SIGPLAN symposium on Principles of programming
languages, p 111-119, 1987
- Jaffar, J. and Maher, M. J., Constraint Logic Programming: A
Survey. In the Journal of Logic Programming 19/20(1-3):503-581,
May-Jul 1994.
- Givan R., Kozen D., McAllester D. and Witty C., Tarskian Set Constraints. In Proceedings, 11
th Annual IEEE Symposium on Logic in Computer Science, 1996,
pages 138--147.
Quantified Boolean Formulae
Useful links
Implementations
- BANE - Berkeley Analysis Engine and its
successor BANSHEE
Resources
- QBFLIB - The Quantified Boolean Formulas
Satisfiability Library
- CVCL - Cooperating Validity Checker
Lite. Successor to CVC, which is in turn a successor to SVC
People
- Alex Aiken - Professor, Stanford University
- Jeff Foster - Professor, University of Maryland, College Park
|
