Kevin Woods

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 8

Top Topics

Quantifier Elimination

Decision Procedures

Presburger Arithmetic

Top Venues

Electron. J. Comb.

Publications

Kevin Woods
The Generalized Frobenius Problem via Restricted Partition Functions. Electron. J. Comb. 30 (3) (2023)
Tristram Bogart, Kevin Woods
A Plethora of Polynomials: A Toolbox for Counting Problems. Am. Math. Mon. 129 (3) (2022)
Tristram Bogart, John Goodrick, Kevin Woods
A Parametric Version of LLL and Some Consequences: Parametric Shortest and Closest Vector Problems. SIAM J. Discret. Math. 34 (4) (2020)
Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods
Parametric Presburger arithmetic: complexity of counting and quantifier elimination. Math. Log. Q. 65 (2) (2019)
Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination. CoRR (2018)
Kevin Woods
AdaM and GrahaM Play the Stock Market. Am. Math. Mon. 125 (3) (2018)
Kevin Woods
Presburger Arithmetic, Rational Generating Functions, and quasi-polynomials. J. Symb. Log. 80 (2) (2015)
Bjarke Hammersholt Roune, Kevin Woods
The Parametric Frobenius Problem. Electron. J. Comb. 22 (2) (2015)
Kevin Woods
The Unreasonable Ubiquitousness of Quasi-polynomials. Electron. J. Comb. 21 (1) (2014)
Kevin Woods
. Springer, New York, 2012, xiv + 215pp., ISBN 978-1-4614-0298-5, $49.95. by Kristopher Tapp. Am. Math. Mon. 120 (5) (2013)
Kevin Woods
Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials. ICALP (2) (2013)
David Liben-Nowell, Alexa Sharp, Tom Wexler, Kevin Woods
Computing Shapley Value in Supermodular Coalitional Games. COCOON (2012)
Kevin Woods
Presburger arithmetic, rational generating functions, and quasi-polynomials CoRR (2012)
Russell Buehler, Zachary Goldman, David Liben-Nowell, Yuechao Pei, Jamie Quadri, Alexa Sharp, Sam Taggart, Tom Wexler, Kevin Woods
The Price of Civil Society. WINE (2011)
Colin N. Dewey, Peter Huggins, Kevin Woods, Bernd Sturmfels, Lior Pachter
Genomes. PLoS Comput. Biol. 2 (6) (2006)