Zobrazeno 1 - 10
of 153
pro vyhledávání: '"Constraint-Programmierung"'
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Petra Hofstedt, Armin Wolf
Publikováno v:
eXamen.press ISBN: 9783540231844
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cafb81eb590f748c112b3eb25dca3d51
https://doi.org/10.1007/978-3-540-68194-6
https://doi.org/10.1007/978-3-540-68194-6
Autor:
Thom Frühwirth, Slim Abdennadher
Publikováno v:
Springer-Lehrbuch ISBN: 9783540606703
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1b660d0013cff2c68ce57b2dc479bcc
https://doi.org/10.1007/978-3-642-59115-0
https://doi.org/10.1007/978-3-642-59115-0
Autor:
Liu, Ke
With parallelism becoming the standard in computer design, research on parallel constraint solving technique is of vital importance for enhancing the performance of constraint solving. In this dissertation, we reviewed the literature on exploiting pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88b76847b67cc1a10d5196daf35b5d6e
Autor:
Schiendorfer, Alexander
Over-constrained problems are ubiquitous in real-world decision and optimization problems, in particular, those emerging from self-organizing, autonomous systems where the full problem specification is only available at runtime. To address over-const
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4169c1a5532f45ac0dc1bef9cf49cd0c
The proper handling of temporal process constraints is crucial in many application domains. A sophisticated support of time-aware processes, however, is still missing in contemporary information systems. As a particular challenge, temporal constraint
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::516f3af53e9ac4209759dba6f332d8d7
Autor:
Bau, Alexander
A constraint is a formula in first-order logic expressing a relation between values of various domains. In order to solve a constraint, constructing a propositional encoding is a successfully applied technique that benefits from substantial progress
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A30236
https://tud.qucosa.de/api/qucosa%3A30236/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A30236/attachment/ATT-0/
Autor:
Bau, Alexander
A constraint is a formula in first-order logic expressing a relation between values of various domains. In order to solve a constraint, constructing a propositional encoding is a successfully applied technique that benefits from substantial progress
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4179::fc50ebac6c7fa605c23cd93bc4e1137b
https://tud.qucosa.de/id/qucosa:30236
https://tud.qucosa.de/id/qucosa:30236
Autor:
Piesker, Björn
Diese Arbeit befasst sich mit der Entwicklung einer Applikation, welche Infrastrukturdaten über Eisenbahnnetze generiert. Dabei bildet die Erzeugung der topologischen Informationen den Schwerpunkt dieser Arbeit. Der Anwender charakterisiert hierfür
Externí odkaz:
http://opus.kobv.de/ubp/volltexte/2007/1532/