ALEXANDER B. WOLPERT, Ph.D.

Recent Publications

(since 2000)

E. Dantsin and A. Wolpert. MAX-SAT for formulas with constant clause density can be solved faster than in O(2ⁿ) time. In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006, volume 4121 of Lecture Notes in Computer Science, pages 266–276. Springer, 2006.

M. Ceberio, E. Dantsin, V. Kreinovich, A. Wolpert, and G. Xiang. Detecting outliers under interval uncertainty: A new algorithm based on constraint satisfaction. In Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2006, pages 802-809, 2006.

E. Dantsin, E.A. Hirsch, A. Wolpert. Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms. In Proceedings of the 6th International Conference on Algorithms and Complexity, CIAC 2006, volume 3998 of Lecture Notes in Computer Science, pages 60–68. Springer, 2006. Also ECCC, TR05-102, September 2005.

E. Dantsin, V. Kreinovich, A. Wolpert. Quantum Versions of k-CSP Algorithms: a First Step Towards Quantum Algorithms for Interval-Related Constraint Satisfaction Problems. In Proceedings of the ACM Symposium on Applied Computing, SAC 2006, pages 1624-1628, 2006.

E. Dantsin, V. Kreinovich, A. Wolpert, and G. Xiang. Population variance under interval uncertainty: A new algorithm. In Reliable Computing, 12(4), pages 273-280, 2006.

E. Dantsin, V. Kreinovich, A. Wolpert. On Quantum Versions of Record-Breaking Algorithms for SAT. In SIGACT News, 36(4), pages 103-108, December 2005. Link to the paper.

E. Dantsin, A. Wolpert. A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length. In Journal on Satisfiability, Boolean Modeling and Computation, 1 (1), pages 49-60, August - December 2005. This paper is an extended version of the paper presented at SAT 2005 and published in LNCS 3569.

E. Dantsin and A. Wolpert. An improved upper bound for SAT. In Proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, volume 3569 of Lecture Notes in Computer Science, pages 400-407. Springer, 2005. 
Also a different version of this paper appeared in ECCC, TR05-030, March 2005.

E. Dantsin and A. Wolpert. Derandomization of Schuler's algorithm for SAT. In Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, volume 3542 of Lecture Notes in Computer Science, pages 80-88. Springer, 2005. Also ECCC, TR04-017, March 2004

E. Dantsin, E.A. Hirsch and A. Wolpert. Algorithms for SAT based on search in Hamming balls. In Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS 2004, volume 2996 of Lecture Notes in Computer Science, pages 141-151. Springer, 2004. Also ECCC, TR03-072, October 2003.

E. Dantsin and A. Wolpert. A robust DNA computation model that captures PSPACE. In International Journal of Foundations of Computer Science, 14(5): pages 933–951, October 2003

E. Dantsin, A. Wolpert. Solving Constraint Satisfaction Problems with DNA Computing. In Proceedings of the 8th Annual International Conference on Computing and Combinatorics, COCOON’2002, volume 2387 of Lecture Notes in Computer Science, 2002, pages. 171-180

A.S. Bagur, A. Wolpert. Performance Evaluation of an Efficient Routing Protocol Designed for a Simple Access Network. In Proceedings of the IASTED International Conference on Advances in Communications, 2001, pages 19-26

J.R. Kenevan, A. Wolpert.  Information Retrieval on the Internet: a Realistic Queuing Model for Sojourn Time Analysis. In Proceedings of the IASTED/WSF 13th Annual International Conference on Modeling and Simulation, MS '2001, 2001, pages. 120-125.

C.J. Entemann, A. Wolpert. Automata Driven Approach to Simulation of Embedded Computing Systems. In Proceedings of the IASTED 5th Annual International Conference on Applied Modeling and Simulation, ASM’2000, 2000, pages 198-207

J.R. Kenevan., A. Wolpert. Modeling Communication Protocols For Clent-Server Networks: Model Checking Dynamical Systems. In Proceedings of the IASTED/WMSF 12th Annual International Conference on Modeling and Simulation, MS'2000, 2000, pages 191-199.