bibliographer - Jaco Geldenhuys

bibliographer a curated TCS bibliography

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

Reducing Nondeterministic Finite Automata with SAT Solvers Jaco Geldenhuys Brink van der Merwe Lynette van Zijl [github]

Reducing Nondeterministic Finite Automata with SAT Solvers Jaco Geldenhuys Brink van der Merwe Lynette van Zijl [github]

BLISS: Improved Symbolic Execution bytextbackslashtextbackslash Bounded Lazy Initialization with SAT Support Nicolas Rosner Jaco Geldenhuys Nazareno Aguirre Willem Visser Marcelo Frias [github]

Green Willem Visser Jaco Geldenhuys Matthew B. Dwyer [github]

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

[show logs] [hide logs]