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
https://portal.mardi4nfdi.de/entity/Q2741531	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
https://portal.mardi4nfdi.de/entity/Q3795286	1988-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/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/Q3318125	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3322143	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4747916	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ewald Speckenmeyer