2009 |
27 | EE | Sebastian Brand:
The sum-of-increments constraint in the consecutive-ones matrix decomposition problem.
SAC 2009: 1417-1418 |
2008 |
26 | EE | Jakob Puchinger,
Peter J. Stuckey,
Mark Wallace,
Sebastian Brand:
From High-Level Model to Branch-and-Price Solution in G12.
CPAIOR 2008: 218-232 |
25 | EE | Sebastian Brand,
Gregory J. Duck,
Jakob Puchinger,
Peter J. Stuckey:
Flexible, Rule-Based Constraint Model Linearisation.
PADL 2008: 68-83 |
2007 |
24 | EE | Sebastian Brand,
Nina Narodytska,
Claude-Guy Quimper,
Peter J. Stuckey,
Toby Walsh:
Encodings of the Sequence Constraint.
CP 2007: 210-224 |
23 | EE | Nicholas Nethercote,
Peter J. Stuckey,
Ralph Becket,
Sebastian Brand,
Gregory J. Duck,
Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language.
CP 2007: 529-543 |
22 | EE | Davaatseren Baatar,
Natashia Boland,
Sebastian Brand,
Peter J. Stuckey:
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches.
CPAIOR 2007: 1-15 |
2006 |
21 | EE | Krzysztof R. Apt,
Sebastian Brand:
Infinite Qualitative Simulations by Means of Constraint Programming.
CP 2006: 29-43 |
20 | EE | Sebastian Brand,
Roland H. C. Yap:
Towards "Propagation = Logic + Control".
ICLP 2006: 102-116 |
19 | EE | Gregory J. Duck,
Peter J. Stuckey,
Sebastian Brand:
ACD Term Rewriting.
ICLP 2006: 117-131 |
18 | EE | Sebastian Brand,
Roland H. C. Yap:
Towards "Propagation = Logic + Control"
CoRR abs/cs/0608015: (2006) |
17 | EE | Gregory J. Duck,
Peter J. Stuckey,
Sebastian Brand:
ACD Term Rewriting
CoRR abs/cs/0608016: (2006) |
16 | EE | Krzysztof R. Apt,
Sebastian Brand:
Infinite Qualitative Simulations by Means of Constraint Programming
CoRR abs/cs/0608017: (2006) |
15 | EE | Sebastian Brand:
Relation Variables in Qualitative Spatial Reasoning
CoRR abs/cs/0608019: (2006) |
2005 |
14 | EE | Krzysztof R. Apt,
Sebastian Brand:
Constraint-Based Qualitative Simulation.
TIME 2005: 26-34 |
13 | EE | Krzysztof R. Apt,
Sebastian Brand:
Constraint-Based Qualitative Simulation
CoRR abs/cs/0504024: (2005) |
12 | EE | Sebastian Brand:
Schedulers and redundancy for a class of constraint propagation rules.
TPLP 5(4-5): 441-465 (2005) |
2004 |
11 | EE | Sebastian Brand:
Relation Variables in Qualitative Spatial Reasoning.
CP 2004: 790 |
10 | EE | Sebastian Brand:
Relation Variables in Qualitative Spatial Reasoning.
KI 2004: 337-350 |
9 | EE | Sebastian Brand,
Krzysztof R. Apt:
Schedulers and Redundancy for a Class of Constraint Propagation Rules
CoRR cs.DS/0403037: (2004) |
2003 |
8 | EE | Sebastian Brand,
Rosella Gennari,
Maarten de Rijke:
Constraint Programming for Modelling and Solving Modal Satisfability.
CP 2003: 795-800 |
7 | EE | Sebastian Brand,
Rosella Gennari,
Maarten de Rijke:
Constraint Methods for Modal Satisfiability.
CSCLP 2003: 66-86 |
6 | | Krzysztof R. Apt,
Sebastian Brand:
Schedulers for Rule-Based Constraint Programming.
SAC 2003: 14-21 |
5 | EE | Sebastian Brand,
Eric Monfroy:
Deductive Generation of Constraint Propagation Rules.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
2002 |
4 | EE | Sebastian Brand:
A Note on Redundant Rules in Rule-Based Constraint Programming.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 109-120 |
3 | EE | Krzysztof R. Apt,
Sebastian Brand:
Schedulers for Rule-based Constraint Programming
CoRR cs.DS/0211019: (2002) |
2001 |
2 | EE | Sebastian Brand:
Constraint Propagation in Presence of Arrays
CoRR cs.PL/0105024: (2001) |
1 | EE | Krzysztof R. Apt,
Roman Barták,
Eric Monfroy,
Francesca Rossi,
Sebastian Brand:
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints
CoRR cs.PL/0110012: (2001) |