From post

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.

 

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

Factoring Out Assumptions to Speed Up MUS Extraction., и . SAT, том 7962 из Lecture Notes in Computer Science, стр. 276-292. Springer, (2013)Defining and Evaluating Heuristics for the Compilation of Constraint Networks., , и . CP, том 10416 из Lecture Notes in Computer Science, стр. 172-188. Springer, (2017)Preprocessing for Propositional Model Counting., и . AAAI, стр. 2688-2694. AAAI Press, (2014)A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem., , , , и . AAAI, стр. 3864-3870. AAAI Press, (2017)Trading Complexity for Sparsity in Random Forest Explanations., , , , , и . AAAI, стр. 5461-5469. AAAI Press, (2022)Introducing the Fourth International Competition on Computational Models of Argumentation., , , и . SAFA@COMMA, том 2672 из CEUR Workshop Proceedings, стр. 80-85. CEUR-WS.org, (2020)On Computing One Max_Subset Inclusion Consensus., , и . ICTAI, стр. 838-845. IEEE Computer Society, (2017)Dynamic Polarity Adjustment in a Parallel SAT Solver., и . ICTAI, стр. 67-73. IEEE Computer Society, (2011)Boosting Local Search Thanks to cdcl., , , и . LPAR (Yogyakarta), том 6397 из Lecture Notes in Computer Science, стр. 474-488. Springer, (2010)A General Artificial Intelligence Approach for Skeptical Reasoning., , и . AGI, том 8598 из Lecture Notes in Computer Science, стр. 33-42. Springer, (2014)