Alexander Wolpert

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 9

Top Topics

Human Detection

Conjunctive Normal Form

Propositional Formulas

Top Venues

J. Satisf. Boolean Model. Comput.

Publications

Matthias Pijarowski, Alexander Wolpert, Martin Heckmann, Michael Teutsch
Utilizing Grounded SAM for self-supervised frugal camouflaged human detection. CoRR (2024)
Evgeny Dantsin, Alexander Wolpert
An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF. J. Satisf. Boolean Model. Comput. 14 (1) (2023)
Evgeny Dantsin, Vladik Kreinovich, Alexander Wolpert
An AlphaZero-Inspired Approach to Solving Search Problems. CoRR (2022)
Evgeny Dantsin, Alexander Wolpert
Similarity Between Points in Metric Measure Spaces. SISAP (2020)
Alexander Wolpert, Michael Teutsch, M. Saquib Sarfraz, Rainer Stiefelhagen
Anchor-free Small-scale Multispectral Pedestrian Detection. BMVC (2020)
Evgeny Dantsin, Alexander Wolpert
Similarity Between Points in Metric Measure Spaces. CoRR (2020)
Alexander Wolpert, Michael Teutsch, M. Saquib Sarfraz, Rainer Stiefelhagen
Anchor-free Small-scale Multispectral Pedestrian Detection. CoRR (2020)
Evgeny Dantsin, Alexander Wolpert
Reconstruction of Boolean Formulas in Conjunctive Normal Form. COCOON (2018)
Erik Pescara, Alexander Wolpert, Matthias Budde, Andrea Schankin, Michael Beigl
Lifetact: utilizing smartwatches as tactile heartbeat displays in video games. MUM (2017)
Evgeny Dantsin, Alexander Wolpert
Exponential Complexity of Satisfiability Testing for Linear-Size Boolean Formulas. CIAC (2013)
Evgeny Dantsin, Alexander Wolpert
On Moderately Exponential Time for SAT. SAT (2010)
Evgeny Dantsin, Alexander Wolpert
A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length. J. Satisf. Boolean Model. Comput. 1 (1) (2006)
Evgeny Dantsin, Alexander Wolpert, Vladik Kreinovich
Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems. SAC (2006)
Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert
Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms. CIAC (2006)
Evgeny Dantsin, Alexander Wolpert
) Time. SAT (2006)
Evgeny Dantsin, Vladik Kreinovich, Alexander Wolpert, Gang Xiang
Population Variance under Interval Uncertainty: A New Algorithm. Reliab. Comput. 12 (4) (2006)
Evgeny Dantsin, Alexander Wolpert
An Improved Upper Bound for SAT Electron. Colloquium Comput. Complex. (030) (2005)
Evgeny Dantsin, Vladik Kreinovich, Alexander Wolpert
On quantum versions of record-breaking algorithms for SAT. SIGACT News 36 (4) (2005)
Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert
Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms Electron. Colloquium Comput. Complex. (102) (2005)
Evgeny Dantsin, Alexander Wolpert
An Improved Upper Bound for SAT. SAT (2005)
Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert
Algorithms for SAT Based on Search in Hamming Balls. STACS (2004)
Evgeny Dantsin, Alexander Wolpert
Derandomization of Schuler's Algorithm for SAT. SAT (Selected Papers (2004)
Evgeny Dantsin, Alexander Wolpert
Derandomization of Schuler's Algorithm for SAT Electron. Colloquium Comput. Complex. (017) (2004)
Evgeny Dantsin, Alexander Wolpert
Derandomization of Schuler's Algorithm for SAT. SAT (2004)
Evgeny Dantsin, Alexander Wolpert
A Robust Dna Computation Model That Captures Pspace. Int. J. Found. Comput. Sci. 14 (5) (2003)
Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert
Algorithms for SAT based on search in Hamming balls Electron. Colloquium Comput. Complex. (072) (2003)
Evgeny Dantsin, Alexander Wolpert
Solving Constraint Satisfaction Problems with DNA Computing. COCOON (2002)