Sciweavers

13841 search results - page 264 / 2769
» Algorithms and Constraint Programming
Sort
View
CP
2000
Springer
15 years 11 months ago
Practical Investigation of Constraints with Graph Views
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...
Tobias Müller
KR
1998
Springer
15 years 11 months ago
Probabilistic Deduction with Conditional Constraints over Basic Events
We study the problem of probabilistic deduction with conditional constraints over basic events. We show that globallycomplete probabilistic deduction with conditional constraints ...
Thomas Lukasiewicz
ESOP
2008
Springer
15 years 8 months ago
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
Maria Grazia Buscemi, Ugo Montanari
STOC
2007
ACM
71views Algorithms» more  STOC 2007»
16 years 7 months ago
Survivable network design with degree or order constraints
Lap Chi Lau, Joseph Naor, Mohammad R. Salavatipour...
WADS
2009
Springer
255views Algorithms» more  WADS 2009»
16 years 1 months ago
Plane Graphs with Parity Constraints
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, ...