Autor der Publikation

DPLL: The Core of Modern Satisfiability Solvers.

, , und . Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Volume 10 von Outstanding Contributions to Logic, Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Non-Model-Based Algorithm Portfolios for SAT., , , und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 369-370. Springer, (2011)LILA: A Unified Benchmark for Mathematical Reasoning., , , , , , , , , und 1 andere Autor(en). EMNLP, Seite 5807-5832. Association for Computational Linguistics, (2022)Model Counting: A New Strategy for Obtaining Good Bounds., , und . AAAI, Seite 54-61. AAAI Press, (2006)Closing the Gap Between Short and Long XORs for Model Counting., , , und . AAAI, Seite 3322-3329. AAAI Press, (2016)Approximating the Permanent by Sampling from Adaptive Partitions., , , , und . NeurIPS, Seite 8858-8869. (2019)Probing Natural Language Inference Models through Semantic Fragments., , , und . AAAI, Seite 8713-8721. AAAI Press, (2020)AdvEntuRe: Adversarial Training for Textual Entailment with Knowledge-Guided Examples., , , und . ACL (1), Seite 2418-2428. Association for Computational Linguistics, (2018)An Empirical Study of Optimal Noise and Runtime Distributions in Local Search., , und . SAT, Volume 6175 von Lecture Notes in Computer Science, Seite 346-351. Springer, (2010)Maximizing the Spread of Cascades Using Network Design., , , , , , , , , und 1 andere Autor(en). UAI, Seite 517-526. AUAI Press, (2010)Adaptive Hashing for Model Counting., , , , , und . UAI, Volume 115 von Proceedings of Machine Learning Research, Seite 271-280. AUAI Press, (2019)