scientific article; zbMATH DE number 1256654
From MaRDI portal
Publication:4230340
zbMath0977.68561MaRDI QIDQ4230340
Alasdair Urquhart, Toniann Pitassi
Publication date: 21 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Graph algorithms (graph-theoretic aspects) (05C85) Complexity of proofs (03F20)
Related Items (3)
Approximation of coNP sets by NP-complete sets ⋮ Integer feasibility and refutations in UTVPI constraints using bit-scaling ⋮ A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints
This page was built for publication: