Author of the publication

Yet Another (Fake) Proof of P=NP.

, and . CCIA, volume 356 of Frontiers in Artificial Intelligence and Applications, page 25-34. IOS Press, (2022)

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

Generating SAT instances with community structure., and . Artif. Intell., (2016)The Logic Behind Weighted CSP., , , and . IJCAI, page 32-37. (2007)Percolation and Phase Transition in SAT.. CoRR, (2017)What Is a Real-World SAT Instance?, , , and . CCIA, volume 163 of Frontiers in Artificial Intelligence and Applications, page 19-28. IOS Press, (2007)Equivalence Between Systems Stronger Than Resolution., and . SAT, volume 12178 of Lecture Notes in Computer Science, page 166-181. Springer, (2020)Currying Second-Order Unification Problems., and . RTA, volume 2378 of Lecture Notes in Computer Science, page 326-339. Springer, (2002)Nominal Unification and Matching of Higher Order Expressions with Recursive Let., , , , and . CoRR, (2021)Reducing SAT to Max2XOR., and . CoRR, (2022)Anti-unification for Unranked Terms and Hedges., , and . J. Autom. Reason., 52 (2): 155-190 (2014)Higher-Order Pattern Anti-Unification in Linear Time., , , and . J. Autom. Reason., 58 (2): 293-310 (2017)