Finding Lean Induced Cycles in Binary Hypercubes. - Yury Chebiryak; Thomas Wahl; Daniel Kroening; Leopold Haller (SAT, 2009)

Relieving capacity limits on FPGA-based SAT-solvers. - Leopold Haller; Satnam Singh (FMCAD, 2010)

A SAT Solver for Circuits Based on the Tableau Method. - Uwe Egly; Leopold Haller (Künstliche Intell., 2010)

Software Verification Using k-Induction. - Alastair F. Donaldson; Leopold Haller; Daniel Kroening; Philipp Rümmer (SAS, 2011)

Strengthening Induction-Based Race Checking with Lightweight Static Analysis. - Alastair F. Donaldson; Leopold Haller; Daniel Kroening (VMCAI, 2011)

Deciding floating-point logic with systematic abstraction. - Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening (FMCAD, 2012)

Satisfiability Solvers Are Static Analysers. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening (SAS, 2012)

Numeric Bounds Analysis with Conflict-Driven Learning. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening; Michael Tautschnig (TACAS, 2012)

Abstract conflict driven learning. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening (POPL, 2013)

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. - Martin Brain; Vijay Victor D'Silva; Alberto Griggio; Leopold Haller; Daniel Kroening (SAS, 2013)

An Abstract Interpretation of DPLL(T). - Martin Brain; Vijay Victor D'Silva; Leopold Haller; Alberto Griggio; Daniel Kroening (VMCAI, 2013)

Abstract satisfaction. - Leopold Carl Robert Haller (2013)

Abstract satisfaction. - Vijay Victor D'Silva; Leopold Haller; Daniel Kroening (POPL, 2014)

Deciding floating-point logic with abstract conflict driven clause learning. - Martin Brain; Vijay Victor D'Silva; Alberto Griggio; Leopold Haller; Daniel Kroening (Formal Methods Syst. Des., 2014)

Lifting CDCL to Template-Based Abstract Domains for Program Verification. - Rajdeep Mukherjee; Peter Schrammel; Leopold Haller; Daniel Kroening; Tom Melham (ATVA, 2017)