research unit 1
 

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit Aigaion.nl.SourceForge.hetLogo

Mitsche, Dieter    

Firstname:Dieter 
Surname:Mitsche 
Email:dmitsche@inf.ethz.ch 
Institute: 
Homepage: 
Is RU1 member:NO 

1 publications (0 read)





Publications as Author



2009

[RACTI-RU1-2009-32] Diaz, Josep, Kirousis, Lefteris, Mitsche, Dieter and Perez, X, On the satisfiability threshold of formulas with three literals per clause, in: Theoretical Computer Science (TCS), 2009.