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.

 

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

MaxSAT by improved instance-specific algorithm configuration., , , и . Artif. Intell., (2016)Edge Matching Puzzles as Hard SAT/CSP Benchmarks., , , и . CP, том 5202 из Lecture Notes in Computer Science, стр. 560-565. Springer, (2008)Improving SAT-Based Weighted MaxSAT Solvers., , , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 86-101. Springer, (2012)The Community Structure of SAT Formulas., , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 410-423. Springer, (2012)Resolution procedures for multiple-valued optimization., , , и . Inf. Sci., (2013)A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms., , и . CP, том 5732 из Lecture Notes in Computer Science, стр. 142-157. Springer, (2009)Learning to Optimize Black-Box Functions with Extreme Limits on the Number of Function Evaluations., , , и . LION, том 12931 из Lecture Notes in Computer Science, стр. 7-24. Springer, (2021)Yet Another (Fake) Proof of P=NP., и . CCIA, том 356 из Frontiers in Artificial Intelligence and Applications, стр. 25-34. IOS Press, (2022)On the Density of States of Boolean Formulas., , и . CCIA, том 375 из Frontiers in Artificial Intelligence and Applications, стр. 369-382. IOS Press, (2023)Disco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts., и . AAAI, стр. 1051-1056. AAAI Press, (2006)