Introduzione alla programmazione dei vincoli [chiuso]

Question

Cerchi suggerimenti, tutorial, libri e altre risorse per iniziare con la Programmazione dei vincoli.

Answer 1

C'è un sacco di materiale eccellente disponibile sul web una volta entrato nel groove, ma i collegamenti sotto sono (IMO) buoni punti di partenza (quelli che ho usato).

Programmazione con vincoli: un'introduzione - (sito web del corso)
Programmazione con vincoli: un'introduzione - (Google book)
Guida online alla programmazione dei vincoli

Answer 2

Constraint Handling Rules (CHR) è un linguaggio per sviluppare i propri risolutori di vincoli (specifici del problema). Controlla questo:

• Homepage CHR

Qui troverai i collegamenti a

• Demo online di WebCHR (originariamente sviluppato presso LMU Munich, ora abbellito presso Uni Ulm)
• Diverse implementazioni per Prolog (naturalmente) e Haskell , nonché un prototipo (purtroppo non mantenuto) per Java (JCK).

Esiste anche un'implementazione JavaScript di CHR: http://chrjs.net ( https://github.com/fnogatz/CHR.js )

Answer 3

Forse puoi dare un'occhiata a un corso introduttivo pensato alla Saarland University sulla programmazione dei vincoli. Non usano mozart come dr_pepper detto ma Gecode . Gecode è un linguaggio di follow-up di mozart, implementato in parte dalle stesse persone.

Answer 4

Consiglio di iniziare con mozart . È un linguaggio di programmazione di vincolo open source e il sito ha molta documentazione che ti farà iniziare.

Answer 5

Ecco un altro link a un sito Web del corso su Programmazione dei vincoli .

In precedenza il corso utilizzava Mozart / Oz per le asserzioni, ma ora è stato sostituito da Gecode .

Answer 6

Ti suggerisco di guardare oltre nel seguente sito web sulla programmazione dei vincoli mantenuta da H & # 229; kan Kjellerstrand (aka Hakank) in Homepage di Hakank

Answer 7

Microsoft Solver Foundation ha alcuni esempi di facile comprensione.

Answer 8

Il manuale di programmazione dei vincoli è ben pensato.

In ogni caso, il mio supervisore del quarto anno università (che era un mentre fa ora) è referenziato lì. :)

Answer 9

Se sei un programmatore Java, ti consiglio di utilizzare Cream: Class Library for Programmazione vincoli