search result

Cover von Saturation-Guided Inductive Synthesis (Invited Talk)

Saturation-Guided Inductive Synthesis (Invited Talk)

Year: 2026
Media group: LIPIcs
Cover von SAT in Saturation

SAT in Saturation

A Satisfied Match (Invited Talk)
Year: 2026
Media group: LIPIcs
Cover von Moments in Time

Moments in Time

Algebraic Analysis for Solvable Loops (Invited Talk)
Year: 2026
Media group: LIPIcs
Cover von Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)

Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)

Year: 2023
Media group: LIPIcs
Cover von First-Order Interpolation and Grey Areas of Proofs (Invited Talk)

First-Order Interpolation and Grey Areas of Proofs (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von Lean on Vampire Proofs (Short Paper)

Lean on Vampire Proofs (Short Paper)

Year: 2026
Media group: LIPIcs
Cover von Generalizing CDCL with Graph Backtracking

Generalizing CDCL with Graph Backtracking

Year: 2026
Media group: LIPIcs
Cover von Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Formal Methods; 15234
Media group: MONOGRAPHIE
Cover von Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15050
Media group: MONOGRAPHIE
Cover von Intelligent Computer Mathematics
17th International Conference, CICM 2024, Montreal, QC, Canada, August 5-9, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 14960
Media group: MONOGRAPHIE
OPEN V 11.1.0.0