Author of the publication

Nominal Unification and Matching of Higher Order Expressions with Recursive Let.

, , , , and . Fundam. Informaticae, 185 (3): 247-283 (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

Locality in Random SAT Instances., and . IJCAI, page 638-644. ijcai.org, (2017)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)Solving (Weighted) Partial MaxSAT through Satisfiability Testing., , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 427-440. Springer, (2009)Improving WPM2 for (Weighted) Partial MaxSAT., , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 117-132. Springer, (2013)Nominal Unification and Matching of Higher Order Expressions with Recursive Let., , , , and . CoRR, (2021)