clpfd
From MaRDI portal
Software:18439
swMATH6308MaRDI QIDQ18439FDOQ18439
Author name not available (Why is that?)
Cited In (5)
- \textsc{Tor}: modular search with hookable disjunction
- An extended constraint deductive database: theory and implementation
- Title not available (Why is that?)
- 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
