Titlebook: Einführung in die Constraint-Programmierung; Grundlagen, Methoden Petra Hofstedt,Armin Wolf Textbook 2007 Springer-Verlag Berlin Heidelberg

文化修養(yǎng)

書目名稱Einführung in die Constraint-Programmierung影響因子(影響力)




書目名稱Einführung in die Constraint-Programmierung影響因子(影響力)學科排名




書目名稱Einführung in die Constraint-Programmierung網絡公開度




書目名稱Einführung in die Constraint-Programmierung網絡公開度學科排名




書目名稱Einführung in die Constraint-Programmierung被引頻次




書目名稱Einführung in die Constraint-Programmierung被引頻次學科排名




書目名稱Einführung in die Constraint-Programmierung年度引用




書目名稱Einführung in die Constraint-Programmierung年度引用學科排名




書目名稱Einführung in die Constraint-Programmierung讀者反饋




書目名稱Einführung in die Constraint-Programmierung讀者反饋學科排名

Cognizance

Logische Programmierung als auch Constraints, basieren auf der Pr?dikatenlogik. Die Constraintlogische Programmierung ist eine Generalisierung der logischen Programmierung, indem sie neben Gleichungen über Termen auch Constraints beliebiger anderer Bereiche zul?sst.

Expurgate

Constraints und Constraint-L?sersche Formeln. Wenn wir auf diese Weise ein Problem, wie in Abschnitt 2.5 das SEND-MORE-MONEY-Problem, beschrieben haben, k?nnen wir mit Hilfe eines . prüfen, ob die Constraints der Problembeschreibung erfüllbar sind und ausrechnen, wie entsprechende L?sungen aussehen. Ein Constraint-L?ser ist dabei

Arteriography

labile

Lineare Arithmetische Constraintsstraints dieses Systems genauer. Danach werden wir in Abschnitt 5.2 die Simplex-Methode kennen lernen, mit deren Hilfe man über die Erfüllbarkeit einer Menge linearer Constraints entscheiden und Projektionen berechnen kann. Die Realisierung wichtiger Constraint-L?ser-Operationen auf der Basis der Si

Crayon

Constraint-logische Programmierung (CLP)er Programme und in Anfragen neben logischen Pr?dikaten auch Constraints erlaubt sind. Bei der Auswertung werden die Pr?dikate wie in logischen Programmen weiterhin mit Resolution abgeleitet, w?hrend Constraints mit Hilfe von Constraint-L?sern auf Erfüllbarkeit überprüft werden. Das Zusammenspiel zw

Crayon

現(xiàn)代

Constraint Handling Rulestische Umformen von Constraint-Mengen oder -Konjunktionen zu verstehen. Im Wesentlichen werden dabei Teilstrukturen genutzt, die vordefinierten Mustern entsprechen, um weitere Constraints herzuleiten oder durch andere, ggf. einfachere zu ersetzen.

laxative

anaphylaxis

Symmetrien und Redundanzenwie dem effizienten Umgang mit beiden. Wir besch?ftigen uns mit diesen Aspekten der Constraint-Programmierung, da sowohl ein Aufbrechen von Symmetrien als auch der geschickte Einsatz von redundanten Constraints die Suchr?ume der modellierten Constraint-Probleme einschr?nken und damit ein schnelleres