XSAT and NAE-SAT of linear CNF classes
Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald, Wotzlaw, Andreas
Published in Discrete Applied Mathematics (20.04.2014)
Published in Discrete Applied Mathematics (20.04.2014)
Get full text
Journal Article
Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation
Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan
Published in Discrete Applied Mathematics (01.11.2012)
Published in Discrete Applied Mathematics (01.11.2012)
Get full text
Journal Article
Counting All Solutions of Minimum Weight Exact Satisfiability
Get full text
Book Chapter
Conference Proceeding
On generalizations of the shadow independent set problem
Get full text
Journal Article
Conference Proceeding
On Problems With Closure Properties
Porschen, Stefan
Published in World Congress on Engineering 2012. July 4-6, 2012. London, UK (01.03.2010)
Get full text
Published in World Congress on Engineering 2012. July 4-6, 2012. London, UK (01.03.2010)
Journal Article
Generalized kk-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation
Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan
Published in Discrete Applied Mathematics (01.11.2012)
Published in Discrete Applied Mathematics (01.11.2012)
Get full text
Journal Article
Generalized -ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation
Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan
Published in Discrete Applied Mathematics (01.11.2012)
Published in Discrete Applied Mathematics (01.11.2012)
Get full text
Journal Article
Linear CNF formulas and satisfiability
Porschen, Stefan, Speckenmeyer, Ewald, Zhao, Xishun
Published in Discrete Applied Mathematics (06.03.2009)
Published in Discrete Applied Mathematics (06.03.2009)
Get full text
Journal Article
Solving Minimum Weight Exact Satisfiability in Time O(20.2441n)
Get full text
Book Chapter
Conference Proceeding