bibliographer - Philipp Rummer

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report) Lukas Holik Petr Janku Anthony W. Lin Philipp Rummer Tomas Vojnar [github]

Regular Model Checking Revisited (Technical Report) Anthony W. Lin Philipp Rummer [github]

Craig Interpolation in SAT and SMT Philipp Rummer [github]

Ranking function synthesis for bit-vector relations Byron Cook Daniel Kroening Philipp Rümmer Christoph M. Wintersteiger [github]

Automating regression verification Dennis Felsing Sarah Grebing Vladimir Klebanov Philipp Rümmer Mattias Ulbrich [github]

String constraints with concatenation and transducers solved efficiently Lukáš Holík Petr Janků Anthony W. Lin Philipp Rümmer Tomáš Vojnar [github]

Trau: SMT solver for string constraints Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Bui Phi Diep Lukas Holik Ahmed Rezine Philipp Rummer [github]

The ELDARICA Horn Solver Hossein Hojjat Philipp Rummer [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]