clpfd

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