bibliographer - Guy Katz

bibliographer a curated TCS bibliography

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

DNN Verification, Reachability, and the Exponential Function Problem Omri Isac Yoni Zohar Clark Barrett Guy Katz [github]

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq Burak Ekici Alain Mebsout Cesare Tinelli Chantal Keller Guy Katz Andrew Reynolds Clark Barrett [github]

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

[show logs] [hide logs]