Travelled to:1 × Denmark
1 × Spain
Collaborated with:∅ J.Lichtenberg H.R.Andersen H.Hulgaard
Talks about:differ (2) quantifi (1) librari (1) diagram (1) dddlib (1) inequ (1) decis (1) solv (1)
Person: Jesper B. Møller
DBLP: M=oslash=ller:Jesper_B=
Contributed to:
2002
1999Wrote 2 papers:
- CADE-2002-Moller #difference #library #named #quantifier
- DDDLIB: A Library for Solving Quantified Difference Inequalities (JBM), pp. 129–133.
- CSL-1999-MollerLAH #diagrams #difference
- Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.