Ewald Speckenmeyer

Available identifiers

zbMath Open speckenmeyer.ewaldWikidataQ102344535 ScholiaQ102344535MaRDI QIDQ714018

List of research outcomes

Publication	Date of Publication	Type
A disjunctive program formulation to generate regular public transit timetables adhering to prioritized planning requirements	2018-10-04	Paper
XSAT and NAE-SAT of linear CNF classes	2014-03-27	Paper
Generalized \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation	2012-10-19	Paper
A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs	2011-06-17	Paper
Complexity Results for Linear XSAT-Problems	2010-09-29	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
On Some Aspects of Mixed Horn Formulas	2009-07-07	Paper
Linear CNF formulas and satisfiability	2009-06-30	Paper
Algorithms for Variable-Weighted 2-SAT and Dual Problems	2009-03-10	Paper
A CNF Class Generalizing Exact Linear Formulas	2008-05-27	Paper
On Linear CNF Formulas	2007-09-04	Paper
Satisfiability of mixed Horn formulas	2007-07-19	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Exact 3-satisfiability is decidable in time \(O(2^{0.16254 n})\)	2005-05-13	Paper
Improving a fixed parameter tractability time bound for the shadow problem	2004-08-19	Paper
On enumerating all minimal solutions of feedback problems	2002-05-15	Paper
A satisfiability formulation of problems on level graphs	2001-09-24	Paper
An algorithm for the class of pure implicational formulas	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4268473	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4375778	1998-06-02	Paper
A fast parallel SAT-solver -- efficient workload balancing	1998-03-04	Paper
Exact satisfiability, a natural extension of set partition, and its average case behavior	1997-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4202940	1993-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4694754	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3489817	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3201761	1989-01-01	Paper
On feedback vertex sets and nonseparating independent sets in cubic graphs	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811764	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795286	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3739144	1986-01-01	Paper
Ramsey numbers and an approximation algorithm for the vertex cover problem	1985-01-01	Paper
Solving satisfiability in less than \(2^ n\) steps	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3728033	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3322143	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318125	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4747916	1981-01-01	Paper

Research outcomes over time

This page was built for person: Ewald Speckenmeyer