swMATH6308MaRDI QIDQ18439FDOQ18439
Author name not available (Why is that?)
Official website: http://www.swi-prolog.org/man/clpfd.html
Cited In (15)
- VeriFly
- \textsc{Tor}: modular search with hookable disjunction
- An extended constraint deductive database: theory and implementation
- ACIDE
- Title not available (Why is that?)
- Prolog
- wamcc
- B-Prolog
- SICStus
- jPET
- NP Datalog
- SWI-Prolog
- SWISH DataLab
- A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
- Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form
This page was built for software: clpfd
