Incremental Closure for Systems of Two Variables Per Inequality

Jacob M. Howe, Andy King, Axel Simon. Incremental Closure for Systems of Two Variables Per Inequality. Theoretical Computer Science, 768:1-42, 2019. [doi]

Abstract

Abstract is missing.