constraint-programming

Ich habe mich gefragt, ob mir jemand bei diesem Problem helfen könnte: Ich muss eine Liste mit Prolog mit Constraing Logic Programming bestellen, und ich muss es auf die effizienteste Weise tun, die ich kann. Also ist das Hauptprädikat, das i...

Betrachte m von n Matrizen M, deren Einträge alle 0 oder 1 sind. Für ein gegebenes M stellt sich die Frage, ob ein Vektor v existiert, der nicht null ist und alle Einträge -1, 0 oder 1 sind, für die Mv = 0. Zum Beispiel %Vor% In diesem Beisp...

Kann jemand ein einfaches Beispiel für Channeling-Constraints geben? Kanalisierungsbeschränkungen werden verwendet, um Betrachtungspunkte eines Einschränkungsproblems zu kombinieren. Handbuch der Constraint-Programmierung gibt eine gute Erklä...

SMT-Solver kann zum Lösen von Abhängigkeiten verwendet werden. Wie wir wissen, sind CSP Solver auch für Constraint-Lösung für viele Jahre. Was ist der Vorteil von SMT-Solver gegenüber CSP-Solvern?     

Ich habe versucht, ein bisschen Nachforschungen über das Folgende zu machen, ohne Glück. Ich dachte, ich würde hier fragen, falls jemand schon einmal darauf gestoßen ist. Ich helfe einer von Freiwilligen betriebenen Radiostation bei ihren tec...