Alexander Wolpert

Available identifiers

zbMath Open wolpert.alexanderMaRDI QIDQ1791021

List of research outcomes

Publication	Date of Publication	Type
An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF	2023-07-11	Paper
Reconstruction of Boolean formulas in conjunctive normal form	2018-10-04	Paper
Exponential Complexity of Satisfiability Testing for Linear-Size Boolean Formulas	2013-06-07	Paper
On Moderately Exponential Time for SAT	2010-09-29	Paper
STACS 2004	2007-10-01	Paper
MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in $\mathcal{O}(2^n)$ Time	2007-09-04	Paper
Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q3429016	2007-03-30	Paper
Population variance under interval uncertainty: a new algorithm	2006-09-14	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
A ROBUST DNA COMPUTATION MODEL THAT CAPTURES PSPACE	2005-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4808635	2004-08-12	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: Alexander Wolpert