( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Adaptive Parallel SAT Solver.

, , , и . CP, том 9892 из Lecture Notes in Computer Science, стр. 30-48. Springer, (2016)

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.

Susanne Gilles

Alfons Gilles

Wolfgang Gilles

Josef Gilles

Peter Gilles

 

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

Bounded Model Checking for Timed Systems., , , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 243-259. Springer, (2002)Etude des symétries dans les modèles finis., и . JFPLC, стр. 109-122. Hermes, (2001)Circuit Based Encoding of CNF Formula., и . SAT, том 4501 из Lecture Notes in Computer Science, стр. 16-21. Springer, (2007)Trading Complexity for Sparsity in Random Forest Explanations., , , , , и . AAAI, стр. 5461-5469. AAAI Press, (2022)Lazy Clause Exchange Policy for Parallel SAT Solvers., и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 197-205. Springer, (2014)SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers., , и . SAT, том 12178 из Lecture Notes in Computer Science, стр. 107-113. Springer, (2020)Impact of Community Structure on SAT Solver Performance., , , , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 252-268. Springer, (2014)A Distributed Version of Syrup., , , и . SAT, том 10491 из Lecture Notes in Computer Science, стр. 215-232. Springer, (2017)Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning., , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 315-322. IOS Press, (2020)On Contrastive Explanations for Tree-Based Classifiers., , , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 117-124. IOS Press, (2023)