Sebastian Brand

… is a Senior Researcher with NICTA's Optimisation Research Group and the Department of Computing and Information Systems, Melbourne School of Engineering, University of Melbourne, Australia.
Daguerreotype

Interests

Applied combinatorial optimisation, using constraint programming, mathematical programming, heuristic algorithms, and their combinations, modelling and model transformation (such as by rules), and software systems for optimisation.

I am involved with NICTA's G12 constraint programming project, of which one outcome are the Zinc and MiniZinc optimisation modelling languages. G12 is used commercially by Opturion.

Contact

Sebastian (dot) Brand (at) nicta.com.au

Publications

See also my DBLP entry.

2012
CP and MIP Methods for Ship Scheduling with Time-Varying Draft.
with Elena Kelareva, Philip Kilby, Sylvie Thiébaux, Mark G. Wallace
ICAPS'12: 22nd International Conference on Automated Planning and Scheduling, 2012. PDF
Optimisation Modelling for Software Developers.
with Kathryn Francis, Peter J. Stuckey
CP'12: 18th International Conference on Principles and Practice of Constraint Programming, 2012. PDF
2011
Dantzig-Wolfe Decomposition and Branch-and-Price Solving in G12.
with Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace
Constraints: volume 16, issue 1, 2011. PDF
CP and IP Approaches to Cancer Radiotherapy Delivery Optimization.
with Davaatseren Baatar, Natashia Boland and Peter J. Stuckey
Constraints: volume 16, issue 2, 2011. Preprint PDF
Constraints in Non-Boolean Contexts.
with Leslie De Koninck, Peter J. Stuckey
ICLP'11: 27th International Conference on Logic Programming, 2011.
Leibniz International Proceedings in Informatics (LIPIcs), Vol. 11. Abstract, PDF
2010
Data Independent Type Reduction for Zinc.
with Leslie De Koninck, Peter J. Stuckey
ModRef'10: 9th International Workshop on Constraint Modelling and Reformulation, 2010. PDF
2009
The Sum-of-Increments Constraint in the Consecutive-Ones Matrix Decomposition Problem.
SAC'09: 24th Annual ACM Symposium on Applied Computing, 2009. PDF © ACM, 2009
The Evolving World of MiniZinc.
with Peter J. Stuckey, Ralph Becket, Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Kim Marriott, Mark G. Wallace
ModRef'09: 8th International Workshop on Constraint Modelling and Reformulation, 2009. PDF
Dantzig-Wolfe Decomposition and Branch-and-Price Solving in G12.
with Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace
Conference on Transportation Scheduling and Disruption Handling, 2009.
Dagstuhl Seminar on Models and Algorithms for Optimization in Logistics, 2009.
2008
The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers.
with Ralph Becket, Mark Brown, Gregory J. Duck, Thibaut Feydy, Julien Fischer, Jinbo Huang, Kim Marriott, Nicholas Nethercote, Jakob Puchinger, Reza Rafeh, Peter J. Stuckey, and Mark G. Wallace
ModRef'08: 7th International Workshop on Constraint Modelling and Reformulation, 2008. PDF
From High-Level Model to Branch-and-Price Solution in G12.
with Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace
CP-AI-OR'08: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008. Springer LNCS 5015. PDF
Flexible, Rule-based Constraint Model Linearisation.
with Gregory J. Duck, Jakob Puchinger, and Peter J. Stuckey
PADL'08: 10th International Symposium on Practical Aspects of Declarative Languages, 2008. Springer LNCS 4902. PDF
2007
Encodings of the SEQUENCE Constraint.
with Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey and Toby Walsh
CP'07: 13th International Conference on Principles and Practice of Constraint Programming, 2007. Springer LNCS 4741. PDF
MiniZinc: Towards A Standard CP Modelling Language.
with Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Gregory J. Duck and Guido Tack
CP'07: 13th International Conference on Principles and Practice of Constraint Programming, 2007. Springer LNCS 4741. PDF
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches.
with Davaatseren Baatar, Natashia Boland and Peter J. Stuckey
CP-AI-OR'07: 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007. Springer LNCS 4510. PDF
A Rule-based System for Model Transformation.
with Gregory J. Duck, Jakob Puchinger, and Peter J. Stuckey
ModRef'07: 6th International Workshop on Constraint Modelling and Reformulation, 2007. PDF
ASOR'07: 19th National Conference of the Australian Society for Operations Research, 2007.
2006
Towards “Propagation = Logic + Control”.
with Roland H.C. Yap
ICLP'06: 22nd International Conference on Logic Programming, 2006. Springer LNCS 4079. Abstract, PS, PDF in CoRR
ACD Term Rewriting.
with Gregory J. Duck and Peter J. Stuckey
ICLP'06: 22nd International Conference on Logic Programming, 2006. Springer LNCS 4079. Abstract, PS, PDF in CoRR
Infinite Qualitative Simulations by Means of Constraint Programming.
with Krzysztof R. Apt
CP'06: 12th International Conference on Principles and Practice of Constraint Programming, 2006. Springer LNCS 4204. Abstract, PS, PDF in CoRR
2005
A New Constraint-based Framework for Qualitative Reasoning.
with Krzysztof R. Apt
Manuscript, 2005. PS
Constraint-Based Qualitative Simulation.
with Krzysztof R. Apt
TIME 2005: 12th Symposium on Temporal Representation and Reasoning, 2005. Abstract, PS, PDF in CoRR
Schedulers and Redundancy for a Class of Constraint Propagation Rules.
with Krzysztof R. Apt
Theory and Practice of Logic Programming, 5 (4&5): 441-465, 2005. Abstract, PS, PDF in CoRR
2004
Rule-based Constraint Propagation — Theory and Applications.
Doctoral Dissertation, University of Amsterdam, 2004. Abstract, PS.gz, PDF
Relation Variables in Qualitative Spatial Reasoning.
KI-2004: 27th German Conference on Artificial Intelligence, 2004. Springer LNAI 3238. PS.gz, PDF (with post-conference corrections)
CP'04 - DP: Doctoral Programme at 10th International Conference on Principles and Practice of Constraint Programming, 2004. PDF © Springer-Verlag
Download here a MiniZinc implementation.
2003
Constraint Programming for Modelling and Solving Modal Satisfiability.
with Rosella Gennari and Maarten de Rijke
ERCIM WGC Workshop'03: 8th Workshop of the ERCIM Working Group on Constraints, 2003. Springer LNAI 3010 Link, or PDF © Springer-Verlag
CP'03: 9th International Conference on Principles and Practice of Constraint Programming, 2003, Poster. Springer LNCS 2833 Link, or PDF © Springer-Verlag
M4M-3: 3rd Workshop Methods for Modalities, 2003.  PDF
Deductive Generation of Constraint Propagation Rules.
with Eric Monfroy
RULE'03: 4th International Workshop on Rule-Based Programming, 2003. Abstract etc. in ENTCS vol. 86 (2), PS.gz, PDF
Schedulers for Rule-based Constraint Programming.
with Krzysztof R. Apt
SAC'03: 18th ACM Symposium on Applied Computing, 2003. Abstract, PS, PDF in CoRR
2002
A Note on Redundant Rules in Rule-based Constraint Programming.
ERCIM WGC Workshop '02: 7th Workshop of the ERCIM Working Group on Constraints, 2002. Springer LNAI 2627 Link, or PDF © Springer-Verlag
RCoRP'02: 4th Workshop on Rule-Based Constraint Reasoning and Programming on CP 2002.
2001
Sequential Automatic Test Pattern Generation by Constraint Programming.
Formul'01: Post Conference Workshop Modelling and Problem Formulation, CP 2001. PDF
Constraint Propagation in Presence of Arrays.
Joint Bulletin of the Novosibirsk Computing Center and Institute of Informatics Systems, Series: Computer Science, 16, 2001
ERCIM WGC Workshop '01: 6th Workshop of the ERCIM Working Group on Constraints, 2001. Abstract, PS, PDF in CoRR
See here for the ECLiPSe library.

For a number of my papers, associated software can be obtained from me. I use the Computing Research Repository (CoRR, part of arXiv.org) to archive many of my papers and make them freely available.

Oder lieber ein paar deutsche Bücher mit Inhalt?

(this page)