2 papers
cs.DS2014
Exact Algorithms for 0-1 Integer Programs with Linear Equality Constraints
Kenya Ueno
In this paper, we show -time and -space exact algorithms for 0-1 integer programs where constraints are linear equalities and coefficients are arbitrary rea…
cs.CC2009
A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints
Kenya Ueno
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of…