Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Derandomization of Schuler's Algorithm for SAT

E. Dantsin, and A. Wolpert. Electronic Colloquium on Computational Complexity (ECCC), (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Alexander Verl University of Stuttgart

Augmented Accuracy : A Human-Machine Integrated Adaptive Fabrication Workflow for BambooY. Qi, R. Zhong, B. Kaiser, Y. Tahouni, H. Wagner, A. Verl, and A. Menges. Towards a new, configurable architecture : Proceedings of the 39th eCAADe Conference, page 345-354. Novi Sad, University of Novi Sad, (2021)

Augmented Accuracy : A Human-Machine Integrated Adaptive Fabrication Workflow for BambooY. Qi, R. Zhong, B. Kaiser, Y. Tahouni, H. Wagner, A. Verl, and A. Menges. Towards a new, configurable architecture : Proceedings of the 39th eCAADe Conference, page 345-354. Novi Sad, University of Novi Sad, (2021)Konzept zur Integration eines kontinuierlichen Materialflussmodells in die Virtuelle Inbetriebnahme durch SignalgenerierungA. Kienzlen, and A. Verl. Simulation in Produktion und Logistik 2021, 177, page 585-594. Göttingen, Cuvillier Verlag, (2021)

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel RobotsP. Tempel, A. Verl, and A. Pott. ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Gyurkovich University of Stuttgart

Comment on "Stability of a moving radial liquid sheet: Time-dependent equations" [Phys. Fluids 25, 102107 (2013)]C. Mehring, and A. Gyurkovich. Physics of fluids, (2023)Reply to: https://doi.org/10.1063/1.4824705.

Alexander Waigum University of Stuttgart

Toward an efficient implementation of internally contracted coupled-cluster methodsJ. Black, A. Waigum, R. Adam, K. Shamasundar, and A. Köhn. The journal of chemical physics, 158 (13): 134801 (2023)

Alexander Müller

Other publications of authors with the same name

A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length.E. Dantsin, and A. Wolpert. JSAT, 1 (1): 49-60 (2006)Lifetact: utilizing smartwatches as tactile heartbeat displays in video games.E. Pescara, A. Wolpert, M. Budde, A. Schankin, and M. Beigl. MUM, page 97-101. ACM, (2017)A Robust Dna Computation Model That Captures Pspace.E. Dantsin, and A. Wolpert. Int. J. Found. Comput. Sci., 14 (5): 933- (2003)On quantum versions of record-breaking algorithms for SAT.E. Dantsin, V. Kreinovich, and A. Wolpert. SIGACT News, 36 (4): 103-108 (2005)Algorithms for SAT based on search in Hamming ballsE. Dantsin, E. Hirsch, and A. Wolpert. Electronic Colloquium on Computational Complexity (ECCC), (2003)Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT AlgorithmsE. Dantsin, E. Hirsch, and A. Wolpert. Electronic Colloquium on Computational Complexity (ECCC), (2005)Reconstruction of Boolean Formulas in Conjunctive Normal Form.E. Dantsin, and A. Wolpert. COCOON, volume 10976 of Lecture Notes in Computer Science, page 592-601. Springer, (2018)Solving Constraint Satisfaction Problems with DNA Computing.E. Dantsin, and A. Wolpert. COCOON, volume 2387 of Lecture Notes in Computer Science, page 171-180. Springer, (2002)Derandomization of Schuler's Algorithm for SAT.E. Dantsin, and A. Wolpert. SAT (Selected Papers, volume 3542 of Lecture Notes in Computer Science, page 80-88. Springer, (2004)An Improved Upper Bound for SAT.E. Dantsin, and A. Wolpert. SAT, volume 3569 of Lecture Notes in Computer Science, page 400-407. Springer, (2005)