„Constraint Programming“

Suchergebnisse

1.101 Treffer

• Towards route planning algorithms for electric vehicles with realistic constraints
  Baum, Moritz ; Dibbelt, Julian ; Gemsa, Andreas ; Wagner, Dorothea
• Formalization of resilience for constraint-based dynamic systems
  Schwind, Nicolas ; Magnin, Morgan ; Inoue, Katsumi ; Okimoto, Tenda ; Sato, Taisuke ; Minami, Kazuhiro ; Maruyama, Hiroshi
• Portfolio selection under downside risk measures and cardinality constraints based on DC programming and DCA
  Le Thi, Hoai An ; Moeini, Mahdi ; Pham Dinh Tao
• Stability and sensitivity of optimization problems with first order stochastic dominance constraints
  Dentcheva, Darinka ; Henrion, René ; Ruszczyński, Andrzej P. 2007 WIAS
• Maximizing diversity in k-pattern set mining through constraint programming and entropy
  Douad, Mohamed El Amine ; Aribi, Noureddine ; Loudni, Samir ; Hien, Arnold ; Lebbah, Yahia
• Maximizing Phylogenetic Diversity Under Ecological Constraints: A Parameterized Complexity Study
  Komusiewicz, Christian ; Schestag, Jannik 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Summary of "Randomized Problem-Relaxation Solving for Over-Constrained Schedules" (Extended Abstract)
  Rodler, Patrick ; Teppan, Erich ; Jannach, Dietmar 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper)
  Delecluse, Augustin ; Schaus, Pierre 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Complexity of Integer Programming with Fixed-Coefficient Scaling (Short Paper)
  de Vlas, Jorke M. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming
  Zhang, Jiachen ; Beck, J. Christopher 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Combining Constraint Programming Reasoning with Large Language Model Predictions
  Régin, Florian ; De Maria, Elisabetta ; Bonlarron, Alexandre 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Programming Model for Assembly Line Balancing and Scheduling with Walking Workers and Parallel Stations
  Pucel, Xavier ; Roussel, Stéphanie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Modelling with LLMs Using In-Context Learning
  Michailidis, Kostis ; Tsouros, Dimos ; Guns, Tias 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production
  Le, Duc Anh ; Roussel, Stéphanie ; Lecoutre, Christophe ; Chan, Anouck 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design
  Jung, Jihye ; Dalmeijer, Kevin ; Van Hentenryck, Pascal 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A CP/LS Heuristic Method for Maxmin and Minmax Location Problems with Distance Constraints
  Iosif, Panteleimon ; Ploskas, Nikolaos ; Stergiou, Kostas ; Tsouros, Dimosthenis C. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning
  Francis Green, Adam ; Beck, J. Christopher ; Coles, Amanda 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
  Flippo, Maarten ; Sidorov, Konstantin ; Marijnissen, Imko ; Smits, Jeff ; Demirović, Emir 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cumulative Scheduling with Calendars and Overtime
  Cloutier, Samuel ; Quimper, Claude-Guy 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automating Boundary Filling in Cubical Agda
  Doré, Maximilian ; Cavallo, Evan ; Mörtberg, Anders 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik