3 citations · 4 across the 2 of their papers we have counts for
3 papers
math.CT2021
Treewidth via Spined Categories (extended abstract)
Zoltan A. Kocsis, Benjamin Merlin Bumpus
Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes e…
math.GR2020★ 1 cited
Degree of satisfiability of some special equations
Zoltan A. Kocsis
A well-known theorem of Gustafson states that in a non-Abelian group the degree of satisfiability of , i.e. the probability that two uniformly randomly chosen group elements…
cs.AI2017★ 3 cited
Dependency Injection for Programming by Optimization
Zoltan A. Kocsis, Jerry Swan
Programming by Optimization tools perform automatic software configuration according to the specification supplied by a software developer. Developers specify design spaces for pro…