Ewald Speckenmeyer

8 publications

1 venues

H Index 6

Affiliation

University of Cologne, Germany

Links

Name Venue Year citations
A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs. SAT 2011 2
Complexity Results for Linear XSAT-Problems. SAT 2010 2
On Some Aspects of Mixed Horn Formulas. SAT 2009 6
A CNF Class Generalizing Exact Linear Formulas. SAT 2008 8
Algorithms for Variable-Weighted 2-SAT and Dual Problems. SAT 2007 8
On Linear CNF Formulas. SAT 2006 13
Worst Case Bounds for some NP-Complete Modified Horn-SAT Problems. SAT 2004 8
Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems. SAT 2003 16
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ