clpfd

MaRDI QIDQ18439swMATHFDO

Official website http://www.swi-prolog.org/man/clpfd.html

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