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:
1990
1988
19881987Wrote 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.