Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Constraint-Programmierung"'
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:
Ian P. Gent
This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. It was held from September 20–24, 2009 at the Rectory of the New University of Lisbon, Portugal. Everyone
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 1
Autor:
Betz, Hariolf Karl Michael
The non-deterministic rule-based programming language of Constraint Handling Rules (CHR) features a remarkable combination of desirable properties: a foundation in classical logic, powerful analysis methods for deciding program properties - especiall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f659915ac0f096a4615628d030a0331
Autor:
Mesyagutov, Marat
NP-hard problems of higher-dimensional orthogonal packing are considered. We look closer at their logical structure and show that they can be decomposed into problems of a smaller dimension with a special contiguous structure. This decomposition infl
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A27750
https://tud.qucosa.de/api/qucosa%3A27750/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A27750/attachment/ATT-0/