On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT

DOI10.1007/978-3-642-15205-4_18zbMath1287.03102OpenAlexW1947815668MaRDI QIDQ3586043

Yijia Chen, Jörg Flum

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: http://ddd.uab.cat/record/76063

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of proofs (03F20)

Related Items

A Parameterized Halting Problem ⋮ Speedup for natural problems and noncomputability