clpfd
From MaRDI portal
Software:18439
No author found.
Related Items (5)
Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form ⋮ An extended constraint deductive database: theory and implementation ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ Unnamed Item ⋮ A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
This page was built for software: clpfd
