„constraint programming“

Suchergebnisse

1.101 Treffer

• Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
  Artemov, Sergej N. ; Nerode, Anil 2015 Springer International Publishing
• Bridging Language Models and Symbolic Solvers via the Model Context Protocol
  Szeider, Stefan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis
  Lomis, Orestis ; Devriendt, Jo ; Bierlee, Hendrik ; Guns, Tias 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scheduling Telescope Observations for the European Southern Observatory (Short Paper)
  Prümm, Michael ; Nightingale, Peter ; Ulrich-Oltean, Felix 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modeling and Solving a Composite Structure Design Problem with Constraint Programming (Short Paper)
  Antoons, Miguel ; Delecluse, Augustin ; Zein, Samih ; Schaus, Pierre 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Efficient and Uniform CSP Solution Generator Generator
  Ziat, Ghiles ; Pépin, Martin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multi-League Sports Scheduling with Team Interdependencies: An Optimization Model
  Weidmann, Nils 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems
  Sidorov, Konstantin ; Marijnissen, Imko ; Demirović, Emir 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint-Based In-Station Train Dispatching
  Schutt, Andreas ; Cardellini, Matteo ; Dekker, Jip J. ; Harabor, Daniel ; Maratea, Marco ; Vallati, Mauro 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• BFS-Based Canonical Codes for Generating Graphs with Constraint Programming
  Peng, Xiao ; Solnon, Christine 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Prediction to Action: A Constraint-Based Approach to Predictive Policing
  Mechqrane, Younes ; Elabbassi, Ismail 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Understanding the Impact of Value Selection Heuristics in Scheduling Problems
  Luchterhand, Tim ; Hebrard, Emmanuel ; Thiébaux, Sylvie 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Aircraft Resource-Constrained Assembly Line Balancing with Learning Effect: A Constraint Programming Approach
  Le, Duc Anh ; Roussel, Stéphanie ; Lecoutre, Christophe 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Work Task Variation Problem
  Lagerkvist, Mikael Z. ; Rattfeldt, Magnus 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Expansion-Based Approach for Quantified Integer Programming
  Hartisch, Michael ; Chew, Leroy Nicholas 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Models for Klondike
  Nguyen Dang ; Gent, Ian P. ; Nightingale, Peter ; Ulrich-Oltean, Felix ; Waller, Jack 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimizing 2D Cutting: A Bin Packing Approach to Minimize Scraps and Maximize Their Reusability
  Chastenay, Manuel ; Zwingmann, Xavier ; Quimper, Claude-Guy ; Gaudreault, Jonathan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Conflict Analysis Based on Cutting-Planes for Constraint Programming
  Baauw, Robbin ; Flippo, Maarten ; Demirović, Emir 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• User-Level Workflow Design – A Bioinformatics Perspective
  Lamprecht, Anna-Lena 2013 Springer International Publishing
• Constraint Programming
  1994 Springer Berlin Heidelberg