Travelled to:1 × Austria
1 × USA
Collaborated with:R.Zeranski V.Arvind Y.Han L.A.Hemachandra J.Köbler A.Lozano M.Ogiwara U.Schöning R.Silvestri T.Thierauf
Talks about:monoton (1) equival (1) content (1) reduct (1) normal (1) inform (1) appli (1) test (1) solv (1) form (1)
Person: Martin Mundhenk
DBLP: Mundhenk:Martin
Contributed to:
2011
1992Wrote 2 papers:
- SAT-2011-MundhenkZ #equivalence #how #normalisation
- How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (MM, RZ), pp. 105–119.
- ICALP-1992-ArvindHHKLMOSST #reduction #set
- Reductions to Sets of Low Information Content (VA, YH, LAH, JK, AL, MM, MO, US, RS, TT), pp. 162–173.