Travelled to:1 × Germany
1 × Italy
Collaborated with:D.Fuchs ∅ A.Wolf
Talks about:elimin (3) model (3) descript (2) system (2) base (2) abstract (1) similar (1) generat (1) cptheo (1) cooper (1)
Person: Marc Fuchs
DBLP: Fuchs:Marc
Contributed to:
19991998Wrote 3 papers:
- CADE-1999-FuchsF #testing
- Abstraction-Based Relevancy Testing for Model Elimination (MF, DF), pp. 344–358.
- CADE-1998-Fuchs #generative #similarity
- System Description: Similarity-Based Lemma Generation for Model Elimination (MF), pp. 33–37.
- CADE-1998-FuchsW
- System Description: Cooperation in Model Elimination: CPTHEO (MF, AW), pp. 42–46.