`Travelled to:`

1 × France

1 × Japan

2 × USA

`Collaborated with:`

M.Dincbas P.V.Hentenryck ∅ A.Aggoun A.Herold

`Talks about:`

constraint (3) program (2) problem (2) logic (2) chip (2) proposit (1) calculus (1) system (1) prolog (1) applic (1)

## Person: Helmut Simonis

### DBLP: Simonis:Helmut

### Contributed to:

### Wrote 4 papers:

- ICLP-1995-Simonis #constraints #logic programming
- Applications of Constraint Logic Programming (HS), pp. 9–11.
- ALP-1990-SimonisD #calculus #problem
- Propositional Calculus Problems in CHIP (HS, MD), pp. 189–203.
- CADE-1988-DincbasHSAH #constraints #prolog
- The CHIP System: Constraint Handling In Prolog (MD, PVH, HS, AA, AH), pp. 774–775.
- JICSCP-1988-DincbasSH88 #constraints #logic programming #problem
- Solving a Cutting-Stock Problem in Constraint Logic Programming (MD, HS, PVH), pp. 42–58.