Author of the publication

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.

, , , , and . SAS, volume 7935 of Lecture Notes in Computer Science, page 412-432. Springer, (2013)

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

Anton - A Rule-Based Composition System., , , and . ICMC, Michigan Publishing, (2011)The Significance of Memory Costs in Answer Set Solver Implementation., and . J. Log. Comput., 19 (4): 615-641 (2009)Generating Optimal Code Using Answer Set Programming., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 554-559. Springer, (2009)ANTON: Composing Logic and Logic Composing., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 542-547. Springer, (2009)Invertibility Conditions for Floating-Point Formulas., , , , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 116-136. Springer, (2019)Benchmarking Solvers, SAT-style., , and . SC²@ISSAC, volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)An Interactive Approach to Answer Set Programming., , and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Application of Abstract Interpretation to the Automotive Electronic Control System., , , , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 425-445. Springer, (2019)Automatic Composition of Melodic and Harmonic Music by Answer Set Programming., , , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 160-174. Springer, (2008)ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming., , , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 724-728. Springer, (2008)