Sebastian Brand

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2012
Optimisation Modelling for Software Developers.
Proceedings of the Principles and Practice of Constraint Programming, 2012

CP and MIP Methods for Ship Scheduling with Time-Varying Draft.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12.
Constraints An Int. J., 2011

CP and IP approaches to cancer radiotherapy delivery optimization.
Constraints An Int. J., 2011

Constraints in Non-Boolean Contexts.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2009
The sum-of-increments constraint in the consecutive-ones matrix decomposition problem.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Branch-and-Price Solving in G12.
Proceedings of the Models and Algorithms for Optimization in Logistics, 21.06., 2009

2008
Flexible, Rule-Based Constraint Model Linearisation.
Proceedings of the Practical Aspects of Declarative Languages, 2008

From High-Level Model to Branch-and-Price Solution in G12.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

MiniZinc: Towards a Standard CP Modelling Language.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Encodings of the Sequence Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
ACD Term Rewriting.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Towards "Propagation = Logic + Control".
Proceedings of the Logic Programming, 22nd International Conference, 2006

Infinite Qualitative Simulations by Means of Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Schedulers and redundancy for a class of constraint propagation rules.
Theory Pract. Log. Program., 2005

Constraint-Based Qualitative Simulation.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

2004
Relation Variables in Qualitative Spatial Reasoning.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003
Deductive Generation of Constraint Propagation Rules.
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Schedulers for Rule-Based Constraint Programming.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Constraint Methods for Modal Satisfiability.
Proceedings of the Recent Advances in Constraints, 2003

Constraint Programming for Modelling and Solving Modal Satisfability.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
A Note on Redundant Rules in Rule-Based Constraint Programming.
Proceedings of the Recent Advances in Constraints, 2002

2001
Constraint Propagation in Presence of Arrays
CoRR, 2001


  Loading...