( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing.

, , и . ISAIM, (2008)

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.

Ashish Shah

Jyoti Sabharwal

Harshana Sabharwal

Ashish Shrivastava

Ashish Choudhary

 

Другие публикации лиц с тем же именем

On Adversarial Search Spaces and Sampling-Based Planning., , и . ICAPS, стр. 242-245. AAAI, (2010)DPLL: The Core of Modern Satisfiability Solvers., , и . Martin Davis on Computability, Computational Logic, and Mathematical Foundations, том 10 из Outstanding Contributions to Logic, Springer, (2016)Non-Model-Based Algorithm Portfolios for SAT., , , и . SAT, том 6695 из Lecture Notes in Computer Science, стр. 369-370. Springer, (2011)Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction., , , и . LION, том 7997 из Lecture Notes in Computer Science, стр. 153-167. Springer, (2013)Algorithm Selection and Scheduling., , , , и . CP, том 6876 из Lecture Notes in Computer Science, стр. 454-469. Springer, (2011)Insights into Parallelism with Intensive Knowledge Sharing., и . CP, том 8656 из Lecture Notes in Computer Science, стр. 655-671. Springer, (2014)An Empirical Study of Optimal Noise and Runtime Distributions in Local Search., , и . SAT, том 6175 из Lecture Notes in Computer Science, стр. 346-351. Springer, (2010)Probing Natural Language Inference Models through Semantic Fragments., , , и . AAAI, стр. 8713-8721. AAAI Press, (2020)Adaptive Hashing for Model Counting., , , , , и . UAI, том 115 из Proceedings of Machine Learning Research, стр. 271-280. AUAI Press, (2019)Survey Propagation Revisited., , и . UAI, стр. 217-226. AUAI Press, (2007)