Author of the publication

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.

 

Other publications of authors with the same name

Population Variance under Interval Uncertainty: A New Algorithm., , , and . Reliab. Comput., 12 (4): 273-280 (2006)Algorithms for SAT Based on Search in Hamming Balls., , and . STACS, volume 2996 of Lecture Notes in Computer Science, page 141-151. Springer, (2004)Similarity Between Points in Metric Measure Spaces., and . SISAP, volume 12440 of Lecture Notes in Computer Science, page 177-184. Springer, (2020)An Improved Upper Bound for SAT., and . SAT, volume 3569 of Lecture Notes in Computer Science, page 400-407. Springer, (2005)On Moderately Exponential Time for SAT., and . SAT, volume 6175 of Lecture Notes in Computer Science, page 313-325. Springer, (2010)Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms., , and . CIAC, volume 3998 of Lecture Notes in Computer Science, page 60-68. Springer, (2006)On quantum versions of record-breaking algorithms for SAT., , and . SIGACT News, 36 (4): 103-108 (2005)An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF., and . J. Satisf. Boolean Model. Comput., 14 (1): 1-15 (2023)A Robust Dna Computation Model That Captures Pspace., and . Int. J. Found. Comput. Sci., 14 (5): 933- (2003)Algorithms for SAT based on search in Hamming balls, , and . Electron. Colloquium Comput. Complex., (2003)