„Constraint Programming“

Suchergebnisse

1.101 Treffer

• SMT-Based Constraint Answer Set Solver EZSMT (System Description)
  Susman, Benjamin ; Lierler, Yuliya 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems
  Xu, Hu ; Petrie, Karen ; Murray, Iain 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Self-Learning Genetic Algorithm For Constrains Satisfaction Problems
  Xu, Hu ; Petrie, Karen 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MILP formulations of cumulative constraints for railway scheduling - A comparative study
  Aronsson, Martin ; Bohlin, Markus ; Kreuger, Per 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Predicated WCET Analysis
  Marref, Amine ; Bernat, Guillem 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201)
  Grohe, Martin ; Guruswami, Venkatesan ; Marx, Dániel ; Živný, Stanislav
• Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)
  Bardin, Sébastien ; Bjørner, Nikolaj ; Cadar, Cristian
• Planning and Operations Research (Dagstuhl Seminar 18071)
  Beck, J. Christopher ; Magazzeni, Daniele ; Röger, Gabriele ; Van Hoeve, Willem-Jan
• Constraints, Optimization and Data (Dagstuhl Seminar 14411)
  De Raedt, Luc ; Nijssen, Siegfried ; O'Sullivan, Barry ; Sebag, Michele
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)
  Gulwani, Sumit ; Kitzelmann, Emanuel ; Schmid, Ute
• Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201)
  De Raedt, Luc ; Nijssen, Siegfried ; O'Sullivan, Barry ; Van Hentenryck, Pascal
• Principles of Rule-Based Programming
  Frühwirth, Thom 2025 BoD – Books on Demand
• Linear Programming Approach to Optimal Control Problems with Unbounded State Constraint
  Shvartsman, Ilya
• Semiinfinite multiobjective fractional programming, part II: Duality models
  Zalmai, G. J. ; Zhang, Qinghong
• Semiinfinite multiobjective fractional programming, Part I: Sufficient efficiency conditions
  Zalmai, G. J. ; Zhang, Qinghong
• Programmieren mit Constraints/Programming with Constraints
  Güsgen, H.-W. ; Fidelak, M.
• Invariant polydiagonal subspaces of matrices and constraint programming
  Neuberger, John M. ; Sieben, Nándor ; Swift, James W.
• Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver
  Marty, Tom ; Boisvert, Léo ; François, Tristan ; Tessier, Pierre ; Gautier, Louis ; Rousseau, Louis-Martin ; Cappart, Quentin
• Decision Procedures – An Algorithmic Point of View
  Kroening, Daniel ; Strichman, Ofer 2016 Springer Berlin
• Principles of Rule-Based Programming
  Frühwirth, Thom 2025 BoD - Books on Demand