BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dincbas:Mehmet

Contributed to:

ALP 19901990
CADE 19881988
ICLP/SPL 19881988
ICLP 19871987

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.