„Constraint Programming“

Suchergebnisse

1.101 Treffer

• Automated Random Testing of Numerical Constrained Types
  Ziat, Ghiles ; Dien, Matthieu ; Botbol, Vincent 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Algorithm-Independent Measure of Progress for Linear Constraint Propagation
  Sofranac, Boro ; Gleixner, Ambros ; Pokutta, Sebastian 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Positive and Negative Length-Bound Reachability Constraints
  Quesada, Luis ; Brown, Kenneth N. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solving the Non-Crossing MAPF with CP
  Peng, Xiao ; Solnon, Christine ; Simonin, Olivier 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Generation of Declarative Models For Differential Cryptanalysis
  Libralesso, Luc ; Delobel, François ; Lafourcade, Pascal ; Solnon, Christine 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Utilizing Constraint Optimization for Industrial Machine Workload Balancing
  Kovács, Benjamin ; Tassel, Pierre ; Kohlenbrein, Wolfgang ; Schrott-Kostwein, Philipp ; Gebser, Martin 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Counterfactual Explanations via Inverse Constraint Programming
  Korikov, Anton ; Beck, J. Christopher 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Dungeon Variations Problem Using Constraint Programming
  Glorian, Gaël ; Debesson, Adrien ; Yvon-Paliot, Sylvain ; Simon, Laurent 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Job Dispatcher for Large and Heterogeneous HPC Systems Running Modern Applications
  Galleguillos, Cristian ; Kiziltan, Zeynep ; Soto, Ricardo 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences
  Cseh, Ágnes ; Escamocher, Guillaume ; Genç, Begüm ; Quesada, Luis 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Interval Constraint Programming Approach for Quasi Capture Tube Validation
  Bedouhene, Abderahmane ; Neveu, Bertrand ; Trombettoni, Gilles ; Jaulin, Luc ; Le Menec, Stéphane 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Hybrid Flexible Flowshop with Transportation Times
  Armstrong, Eddie ; Garraffa, Michele ; O'Sullivan, Barry ; Simonis, Helmut 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Practical Bigraphs via Subgraph Isomorphism
  Archibald, Blair ; Burns, Kyle ; McCreesh, Ciaran ; Sevegnani, Michele 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On How Turing and Singleton Arc Consistency Broke the Enigma Code
  Antuori, Valentin ; Portoleau, Tom ; Rivière, Louis ; Hebrard, Emmanuel 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generating Magical Performances with Constraint Programming (Short Paper)
  de Azevedo Silveira, Guilherme 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Properties of Thermodynamic Binding Networks: An Integer Programming Approach
  Haley, David ; Doty, David 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minimum Scan Cover and Variants - Theory and Experiments
  Buchin, Kevin ; Fekete, Sándor ; Hill, Alexander ; Kleist, Linda ; Kostitsyna, Irina ; Krupke, Dominik ; Lambers, Roel ; Struijs, Martijn 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Phyolin: Identifying a Linear Perfect Phylogeny in Single-Cell DNA Sequencing Data of Tumors
  Weber, Leah L. ; El-Kebir, Mohammed 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Low-Cost Convex Partitions for Planar Point Sets with Randomized Local Search and Constraint Programming (CG Challenge)
  Zheng, Da Wei ; Spalding-Jamieson, Jack ; Zhang, Brandon 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences
  Cseh, Ágnes ; Escamocher, Guillaume ; Genç, Begüm ; Quesada, Luis