( en | de | ru )

 

Disambiguierung von "Sabharwal, Ashish"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Insights into Parallelism with Intensive Knowledge Sharing.

, und . CP, Volume 8656 von Lecture Notes in Computer Science, Seite 655-671. Springer, (2014)

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

Complexity-Based Prompting for Multi-Step Reasoning., , , , und . CoRR, (2022)Maximizing the Spread of Cascades Using Network Design, , , , , , , , , und 1 andere Autor(en). CoRR, (2012)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)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)Algorithm Selection and Scheduling., , , , und . CP, Volume 6876 von Lecture Notes in Computer Science, Seite 454-469. Springer, (2011)Insights into Parallelism with Intensive Knowledge Sharing., und . CP, Volume 8656 von Lecture Notes in Computer Science, Seite 655-671. Springer, (2014)Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction., , , und . LION, Volume 7997 von Lecture Notes in Computer Science, Seite 153-167. Springer, (2013)Non-Model-Based Algorithm Portfolios for SAT., , , und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 369-370. Springer, (2011)On Adversarial Search Spaces and Sampling-Based Planning., , und . ICAPS, Seite 242-245. AAAI, (2010)Transformers Implement First-Order Logic with Majority Quantifiers., und . CoRR, (2022)