( en | de | ru )

 

Disambiguierung von "Sabharwal, Ashish"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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.

Ashish Shah

Jyoti Sabharwal

Harshana Sabharwal

Ashish Shrivastava

Ashish Choudhary

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning Back-Clauses in SAT - (Poster Presentation)., , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 498-499. Springer, (2012)Parallel SAT Solver Selection and Scheduling., , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 512-526. Springer, (2012)Filtering Atmost1 on Pairs of Set Variables., und . CPAIOR, Volume 5015 von Lecture Notes in Computer Science, Seite 382-386. Springer, (2008)Low-density Parity Constraints for Hashing-Based Discrete Integration., , , und . ICML, Volume 32 von JMLR Workshop and Conference Proceedings, Seite 271-279. JMLR.org, (2014)QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency., , , , und . SAT, Volume 4121 von Lecture Notes in Computer Science, Seite 382-395. Springer, (2006)Tradeoffs in the Complexity of Backdoor Detection., , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 256-270. Springer, (2007)New filtering algorithms for combinations of among constraints., , , und . Constraints An Int. J., 14 (2): 273-292 (2009)Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling., , , , , und . CP, Volume 6876 von Lecture Notes in Computer Science, Seite 508-522. Springer, (2011)Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles., , , , und . FOCS, Seite 583-592. IEEE Computer Society, (2002)Repurposing Entailment for Multi-Hop Question Answering Tasks., , , , und . NAACL-HLT (1), Seite 2948-2958. Association for Computational Linguistics, (2019)