„Constraint Programming“

Suchergebnisse

1.101 Treffer

• Logic Programming Foundations of Cyber-Physical Systems
  Saeedloei, Neda 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Local Branching in a Constraint Programming Framework
  Parisini, Fabio 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
  Martinez, Thierry 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Answer Set Programming Systems
  Drescher, Christian 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bisimilarity in Concurrent Constraint Programming
  Aristizabal P., Andres A. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Timed Definite Clause Omega-Grammars
  Saeedloei, Neda ; Gupta, Gopal 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Contractibility and Contractible Approximations of Soft Global Constraints
  Maher, Michael J. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intelligent Query Answering with Contextual Knowledge for Relational Databases
  Seipel, Dietmar ; Weidner, Daniel ; Abreu, Salvador 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)
  Shen, Da ; Lierler, Yuliya 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Incremental and Modular Context-Sensitive Analysis
  Garcia-Contreras, Isabel ; Morales, José F. ; Hermenegildo, Manuel V. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Epistemic Logic Programs with World View Constraints
  Kahl, Patrick Thor ; Leclerc, Anthony P. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description)
  Codish, Michael ; Frank, Michael ; Metodi, Amit ; Muslimany, Morad 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Design of Aircraft Arrival Routes with Limited Turning Angle
  Granberg, Tobias Andersson ; Polishchuk, Tatiana ; Polishchuk, Valentin ; Schmidt, Christiane 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit
  Cattafi, Massimiliano ; Herrero, Rosa ; Gavanelli, Marco ; Nonato, Maddalena ; Malucelli, Federico 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431)
  Frejinger, Emma ; Lodi, Andrea ; Lombardi, Michele ; Yorke-Smith, Neil
• Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)
  Beyersdorff, Olaf ; Biere, Armin ; Ganesh, Vijay ; Nordström, Jakob ; Oertel, Andy
• Methods for Solving Extremal Problems in Practice
  Frank, Michael 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Expressiveness of Spatial Constraint Systems
  Guzmán, Michell ; Valencia, Frank D. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Propagation and Explanation over Novel Types by Abstract Compilation
  Gange, Graeme ; Stuckey, Peter J. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint CNF: SAT and CSP Language Under One Roof
  De Cat, Broes ; Lierler, Yuliya 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik