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: Carlson:Bj=ouml=rn
Contributed to:
1997
1995199519941994Wrote 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.