| 2008 |
|---|
| 30 | EE | Helmut Simonis,
Barry O'Sullivan:
Search Strategies for Rectangle Packing.
CP 2008: 52-66 |
| 2007 |
|---|
| 29 | EE | Helmut Simonis:
Models for Global Constraint Applications.
Constraints 12(1): 63-92 (2007) |
| 2006 |
|---|
| 28 | EE | Helmut Simonis:
Constraint Based Resilience Analysis.
CP 2006: 16-28 |
| 2005 |
|---|
| 27 | EE | Quanshi Xia,
Helmut Simonis:
Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons.
ICN (1) 2005: 611-619 |
| 2004 |
|---|
| 26 | EE | Helmut Simonis:
Challenges for Constraint Programming in Networking.
CP 2004: 13-16 |
| 2000 |
|---|
| 25 | | Helmut Simonis,
Abderrahmane Aggoun:
Search-Tree Visualisation.
Analysis and Visualization Tools for Constraint Programming 2000: 191-208 |
| 24 | | Helmut Simonis,
Abderrahmane Aggoun,
Nicolas Beldiceanu,
Eric Bourreau:
Complex Constraint Abstraction: Global Constraint Visualisation.
Analysis and Visualization Tools for Constraint Programming 2000: 299-317 |
| 23 | | Helmut Simonis,
Trijntje Cornelissens,
Veroniek Dumortier,
Giovanni Fabris,
F. Nanni,
Adriano Tirabosco:
Using Constraint Visualisation Tools.
Analysis and Visualization Tools for Constraint Programming 2000: 321-356 |
| 22 | EE | Helmut Simonis,
Philippe Charlier,
Philip Kay:
Constraint Handling in an Integrated Transportation Problem.
IEEE Intelligent Systems 15(1): 26-32 (2000) |
| 1999 |
|---|
| 21 | EE | Helmut Simonis:
Building Industrial Applications with Constraint Programming.
CCL 1999: 271-309 |
| 20 | | Helmut Simonis,
Abderrahmane Aggoun:
Search Tree Debugging.
JFPLC 1999: 265-280 |
| 19 | EE | Mark Wallace,
Yves Caseau,
Eric Jacquet-Lagreze,
Helmut Simonis,
Gilles Pesant:
Preface: Volume 1.
Electronic Notes in Discrete Mathematics 1: 85-86 (1999) |
| 1995 |
|---|
| 18 | | Helmut Simonis:
Application Development with the CHIP System.
CDB 1995: 1-21 |
| 17 | | Helmut Simonis,
Trijntje Cornelissens:
Modelling Producer/Consumer Constraints.
CP 1995: 449-462 |
| 16 | | Helmut Simonis:
The CHIP System and Its Applications.
CP 1995: 643-646 |
| 15 | | Helmut Simonis:
Applications of Constraint Logic Programming.
ICLP 1995: 9-11 |
| 14 | | Helmut Simonis:
Application Development with the CHIP System.
WLP 1995: 11-27 |
| 1994 |
|---|
| 13 | | Helmut Simonis:
Applications of Constraint Logic Programming.
CCL 1994: 152-153 |
| 1992 |
|---|
| 12 | | Pascal Van Hentenryck,
Helmut Simonis,
Mehmet Dincbas:
Constraint Satisfaction Using Constraint Logic Programming.
Artif. Intell. 58(1-3): 113-159 (1992) |
| 1991 |
|---|
| 11 | | Helmut Simonis,
Mehmet Dincbas:
Propositional Calculus Problems in CHIP.
WCLP 1991: 269-285 |
| 1990 |
|---|
| 10 | | Helmut Simonis,
Mehmet Dincbas:
Propositional Calculus Problems in CHIP.
ALP 1990: 189-203 |
| 9 | | Mehmet Dincbas,
Helmut Simonis,
Pascal Van Hentenryck:
Solving Large Combinatorial Problems in Logic Programming.
J. Log. Program. 8(1): 75-93 (1990) |
| 1989 |
|---|
| 8 | | Helmut Simonis:
Test Generation using the Constraint Logic Programming Language CHIP.
ICLP 1989: 101-112 |
| 1988 |
|---|
| 7 | | Mehmet Dincbas,
Pascal Van Hentenryck,
Helmut Simonis,
Abderrahmane Aggoun,
Alexander Herold:
The CHIP System: Constraint Handling In Prolog.
CADE 1988: 774-775 |
| 6 | | Mehmet Dincbas,
Helmut Simonis,
Pascal Van Hentenryck:
Solving the Car-Sequencing Problem in Constraint Logic Programming.
ECAI 1988: 290-295 |
| 5 | | Mehmet Dincbas,
Pascal Van Hentenryck,
Helmut Simonis,
Abderrahmane Aggoun,
Thomas Graf,
Françoise Berthier:
The Constraint Logic Programming Language CHIP.
FGCS 1988: 693-702 |
| 4 | | Mehmet Dincbas,
Helmut Simonis,
Pascal Van Hentenryck:
Solving a Cutting-Stock Problem in Constraint Logic Programming.
ICLP/SLP 1988: 42-58 |
| 3 | EE | Mehmet Dincbas,
Pascal Van Hentenryck,
Helmut Simonis,
Abderrahmane Aggoun,
Thomas Graf:
Applications of CHIP to Industrial and Engineering Problems.
IEA/AIE (Vol. 2) 1988: 885-892 |
| 1987 |
|---|
| 2 | | Helmut Simonis,
Mehmet Dincbas:
Using Logic Programming for Fault Diagnosis in Digital Circuits.
GWAI 1987: 139-148 |
| 1 | | Wolfram Büttner,
Helmut Simonis:
Embedding Boolean Expressions into Logic Programming.
J. Symb. Comput. 4(2): 191-205 (1987) |
