Witness-isomorphic reductions and the local search problem (extended abstract)

DOI10.1007/3-540-60246-1_134zbMath1193.03070MaRDI QIDQ3569019

Hemaspaandra, Lane A., Leen Torenvliet, Sophie Fischer

Publication date: 17 June 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60246-1_134

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03B25: Decidability of theories and sets of sentences

03D15: Complexity of computation (including implicit computational complexity)