Author of the publication

Semantic Relevance.

, and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 208-227. Springer, (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

Preface to the Special Issue on Automated Reasoning Systems., , and . J. Autom. Reason., 64 (3): 361-362 (2020)A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic., , , , , , , , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 480-501. Springer, (2022)A machine-checked correctness proof for Pastry., , and . Sci. Comput. Program., (2018)Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification., , , , , , , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 416-439. Springer, (2020)Exploring Partial Models with SCL., , and . PAAR@IJCAR, volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)SPASS-SATT - A CDCL(LA) Solver., , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 111-122. Springer, (2019)On the Expressivity and Applicability of Model Representation Formalisms., , and . FroCos, volume 11715 of Lecture Notes in Computer Science, page 22-39. Springer, (2019)A Verified SAT Solver Framework including Optimization and Partial Valuations., and . LPAR, volume 73 of EPiC Series in Computing, page 212-229. EasyChair, (2020)A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column., and . J. Autom. Reason., 66 (4): 575-584 (2022)Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance., , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 327-343. Springer, (2021)