( 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.

Wolfgang Gilles

Josef Gilles

Peter Gilles

Alfons Gilles

Susanne Gilles

 

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

Circuit Based Encoding of CNF Formula., и . SAT, том 4501 из Lecture Notes in Computer Science, стр. 16-21. Springer, (2007)Etude des symétries dans les modèles finis., и . JFPLC, стр. 109-122. Hermes, (2001)Bounded Model Checking for Timed Systems., , , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 243-259. Springer, (2002)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)Améliorer SAT dans le cadre incrémental., , , и . Rev. d'Intelligence Artif., 28 (5): 593-614 (2014)Trading Complexity for Sparsity in Random Forest Explanations., , , , , и . AAAI, стр. 5461-5469. AAAI Press, (2022)Impact of Community Structure on SAT Solver Performance., , , , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 252-268. Springer, (2014)The eXtended Least Number Heuristic., и . IJCAR, том 2083 из Lecture Notes in Computer Science, стр. 427-442. Springer, (2001)AVAL: An Enumerative Method for SAT., , и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 373-383. Springer, (2000)