bibliographer - Christian Fecht

bibliographer a curated TCS bibliography

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

A faster solver for general systems of equations Christian Fecht Helmut Seidl [github]

Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems Christian Fecht Helmut Seidl [github]

An Even Faster Solver for General Systems of Equations Christian Fecht Helmut Seidl [github]

Interprocedural Analysis Based on PDAs Helmut Seidl Christian Fecht [github]

Interprocedural analyses: a comparison Helmut Seidl Christian Fecht [github]

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

[show logs] [hide logs]