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 × Italy
1 × Japan
1 × United Kingdom
2 × USA
Collaborated with:
M.Carlsson S.Janson G.Ottosson D.Diaz S.Haridi
Talks about:
constraint (3) domain (3) finit (3) akl (2) implement (1) disjunct (1) program (1) languag (1) concurr (1) solver (1)

Person: Björn Carlson

DBLP DBLP: Carlson:Bj=ouml=rn

Contributed to:

PLILP 19971997
ICLP 19951995
ILPS 19951995
ICLP 19941994
ILPS 19941994

Wrote 5 papers:

PLILP-1997-CarlssonOC #constraints #finite #theorem proving
An Open-Ended Finite Domain Constraint Solver (MC, GO, BC), pp. 191–206.
ICLP-1995-CarlsonC #compilation #constraints #finite
Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ILPS-1995-CarlsonCJ #implementation
The implementation of AKL(FD) (BC, MC, SJ), pp. 227–241.
ICLP-1994-CarlsonCD #constraints #finite
Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
ILPS-1994-CarlsonHJ #concurrent #programming
AKL(FD) — A Concurrent Language for FD Programming (BC, SH, SJ), pp. 521–535.

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.