The Finite Domain Constraint Solver of SWI-Prolog-Reference-Cited by-同舟云学术

The Finite Domain Constraint Solver of SWI-Prolog

Published:2012 Issue: Volume: Page:307-316
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Triska Markus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-29822-6_24.pdf

Reference22 articles.

1. Jaffar, J., Lassez, J.-L.: Constraint Logic Programming. In: POPL, pp. 111–119 (1987)

2. Diaz, D., Codognet, P.: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming 6 (2001)

3. Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: A Platform for Constraint Logic Programming. Technical Report (1997)

4. Lecture Notes in Computer Science;M. Carlsson,1997

5. Zhou, N.F., Nagasawa, I.: An Efficient Finite-domain Constraint Solver in Beta-Prolog. Journal of Japanese Society for Artificial Intelligence 9 (1994)

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Prolog assisted search for new simple Lie algebras;Mathematics of Computation;2023-07-21

2. Hammurabi;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07

3. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17

4. Shape-analysis driven memory graph visualization;Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension;2022-05-16

5. Constraint-logic object-oriented programming for test case generation;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25