„constraint programming“

Suchergebnisse

1.101 Treffer

• Optimal Control with Linear Integer Programming for Reducing the Energy Consumption of Interdependent Mixing Machines in Foundry
  Rose, Alexander ; Schild, Axel ; Luck, Bennet ; Grotjahn, Martin 2021 Hochschule Hannover
• Preface
  Geske, Ulrich ; Wolf, Armin 2010 Universität Potsdam
• Overview of the monadic constraint programming framework
  Schrijvers, Tom 2010 Universität Potsdam
• First Workshop on Constraint Handling Rules
  Frühwirth, Thom ; Meister, Marc 2005 Universität Ulm. Fakultät für Informatik
• Kiel Declarative Programming Days 2013 – 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and 27th Workshop on Logic Programming (WLP 2013) ; papers presented at the Kiel Declarative Programming Days held during September 11-13, 2013 in Kiel, Germany
  2013 Universitätsbibliothek Kiel
• Pseudo Boolean d-DNNF compilation for analyzing expressive feature-model formats
  Vill, Stefan 2025 Universität Ulm
• SAT Compilation for Constraints over Structured Finite Domains
  Bau, Alexander ; Waldmann, Johannes ; Vogler, Heiko ; Fuhs, Carsten 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A Comprehensive Knowledge Base for Context-Aware Tactical Driver Assistance Systems
  Fuchs, Simone 2009 Shaker
• CDF-intervals: a probabilistic interval constraint framework to reason about data with uncertainty
  Saad, Aya Hassan 2016 Universität Ulm
• Klassifizierung von Optimierungsverfahren in Supply Chain Management-Systemen
  Spieker, Marcus 2003 Diplom.de
• JavaCHR – A Modern CHR-Embedding in Java
  Wibiral, Tim 2022 Universität Ulm
• Eine Heuristik zur Lösung ganzzahliger Programme mit quadratischen Nebenbedingungen
  Flister, Tobias ; Fügenschuh, Armin ; Köhler, Ekkehard 2021 BTU Cottbus - Senftenberg
• Correction: On implicit function theorems for set-valued maps and their application to mathematical programming under inclusion constraints
  Dien, P. H. ; Yen, N. D.
• On the strength of Burer’s lifted convex relaxation to quadratic programming with ball constraints
  Kılınç-Karzan, Fatma ; Sun, Shengding
• Correction to: Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning
  Sioutis, Michael
• Correction to: The CoMirror algorithm with random constraint sampling for convex semi-infinite programming
  Wei, Bo ; Haskell, William B. ; Zhao, Sixiang
• Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations
  Dlask, Tomáš ; Werner, Tomáš ; de Givry, Simon 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Optimality Conditions for a Class of Nondifferentiable Multiobjective Programming Problems with Vanishing Constraints
  Antczak, Tadeusz
• Optimal control under safety constraints and disturbances: a multi-step, off-policy adaptive dynamic programming approach
  Ye, Jun ; Zhao, Xiaowei ; Bian, Yougang ; Hu, Manjiang ; Dong, Hongyang
• Logic-Based 0–1 Constraint Programming
  1996 Springer US