Collaborated with:
R.Haenni
Talks about:
proposit (1) function (1) languag (1) boolean (1) repres (1) graph (1) base (1) new (1) dag (1)
Person: Michael Wachter
DBLP: Wachter:Michael
Contributed to:
Wrote 1 papers:
- KR-2006-WachterH #graph #representation
- Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions (MW, RH), pp. 277–285.