Travelled to:
1 × Iceland
Collaborated with:
C.Umans
Talks about:
formula (1) complex (1) boolean (1) minim (1)
Person: David Buchfuhrer
DBLP: Buchfuhrer:David
Contributed to:
Wrote 1 papers:
- ICALP-A-2008-BuchfuhrerU #complexity
- The Complexity of Boolean Formula Minimization (DB, CU), pp. 24–35.