clpfd
From MaRDI portal
Clpfd
Cited in
(16)- ACIDE
- \textsc{Tor}: modular search with hookable disjunction
- An extended constraint deductive database: theory and implementation
- HYPROLOG
- Prolog
- wamcc
- B-Prolog
- SICStus
- jPET
- NP Datalog
- SWI-Prolog
- SWISH DataLab
- scientific article; zbMATH DE number 7453099 (Why is no real title available?)
- VeriFly
- 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