Travelled to:1 × Portugal
1 × United Kingdom
2 × Germany
Collaborated with:H.Seidl ∅
Talks about:system (2) effici (2) constraint (1) distribut (1) algorithm (1) fixpoint (1) program (1) generat (1) general (1) disjunt (1)
Person: Christian Fecht
DBLP: Fecht:Christian
Contributed to:
1998
1997
1996
19961995Wrote 5 papers:
- ESOP-1998-FechtS #algorithm #constraints #difference #fixpoint #performance
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.
- ILPS-1997-SeidlF
- Disjuntive Completion Is Not “Optimal” (HS, CF), p. 408.
- PLILP-1996-Fecht #logic programming #performance #precise #source code
- An Efficient and Precise Sharing Domain for Logic Programs (CF), pp. 469–470.
- SAS-1996-FechtS #equation #performance
- An Even Faster Solver for General Systems of Equations (CF, HS), pp. 189–204.
- SAS-1995-Fecht #generative #named #prolog #specification
- GENA — A Tool for Generating Prolog Analyzers from Specifications (CF), pp. 418–419.