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 × 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 DBLP: Simonis:Helmut

Contributed to:

ICLP 19951995
ALP 19901990
CADE 19881988
ICLP/SPL 19881988

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.

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.