Author of the publication

Impact of Community Structure on SAT Solver Performance.

, , , , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 252-268. Springer, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)., , , and . Dagstuhl Reports, 4 (10): 98-114 (2014)SMT-LIB Sequences and Regular Expressions., , , and . SMT@IJCAR, volume 20 of EPiC Series in Computing, page 77-87. EasyChair, (2012)Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)., , , , and . Dagstuhl Reports, 5 (4): 98-122 (2015)SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics., , and . CoRR, (2019)STP/HAMPI and Computer Security. CoRR, (2012)Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures., , , , , and . J. Autom. Reasoning, 58 (3): 313-339 (2017)Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions., , , , and . VSTTE, volume 10712 of Lecture Notes in Computer Science, page 120-131. Springer, (2017)A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples., , , and . AAAI, page 1435-1442. AAAI Press, (2019)A SAT+CAS Method for Enumerating Williamson Matrices of Even Order., , and . AAAI, page 6573-6580. AAAI Press, (2018)Short Paper: The Meaning of Attack-Resistant Systems., , and . PLAS@ECOOP, page 49-55. ACM, (2015)