`Travelled to:`

1 × Australia

1 × France

2 × USA

`Collaborated with:`

H.Simonis P.V.Hentenryck A.Aggoun A.Herold

`Talks about:`

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

## Person: Mehmet Dincbas

### DBLP: Dincbas:Mehmet

### Contributed to:

### Wrote 4 papers:

- 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.
- ICLP-1987-HentenryckD87 #logic programming
- Forward Checking in Logic Programming (PVH, MD), pp. 229–256.