bibliographer - Viktor Kunčak

bibliographer a curated TCS bibliography

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

NP Decision Procedure for Monomial and Linear Integer Constraints Rodrigo Raya Jad Hamza Viktor Kunčak [github]

Complete Functional Synthesis Viktor Kuncak Mikael Mayer Ruzica Piskac Philippe Suter [github]

On computing the fixpoint of a set of boolean equations Viktor Kuncak K. Rustan M. Leino [github]

Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak Martin Rinard [github]

Deciding Boolean Algebra with Presburger Arithmetic Viktor Kuncak Huu Hai Nguyen Martin Rinard [github]

Synthesis of fixed-point programs Eva Darulova Viktor Kuncak Rupak Majumdar Indranil Saha [github]

Automating grammar comparison Ravichandhran Madhavan Mikaël Mayer Sumit Gulwani Viktor Kuncak [github]

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

[show logs] [hide logs]