Author of the publication

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas.

, , and . IJCAI, page 600-606. ijcai.org, (2017)

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

Memory-Efficient Algorithms for the Verification of Temporal Properties., , , and . Formal Methods in System Design, 1 (2/3): 275-288 (1992)Black Box Checking., , and . FORTE, volume 156 of IFIP Conference Proceedings, page 225-240. Kluwer, (1999)Module Checking Revisited., and . CAV, volume 1254 of Lecture Notes in Computer Science, page 36-47. Springer, (1997)Factored boolean functional synthesis., and . FMCAD, page 124-131. IEEE, (2017)The Complexity of Reasoning about Knowledge and Time: Extended Abstract, and . STOC, page 304-315. ACM, (1986)Parametric real-time reasoning., , and . STOC, page 592-601. ACM, (1993)What is a flagship publication?, and . Commun. ACM, 56 (8): 5 (2013)Divination by program committee.. Commun. ACM, 60 (9): 7 (2017)Science has only two legs.. Commun. ACM, 53 (9): 5 (2010)Is information technology destroying the middle class?. Commun. ACM, 58 (2): 5 (2015)