Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem

DOI10.1007/978-3-642-36065-7_25zbMath1379.68177OpenAlexW139396678MaRDI QIDQ4914454

Venkatesh Raman, Bal Sri Shankar

Publication date: 12 April 2013

Published in: WALCOM: Algorithms and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36065-7_25

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (2)

Parameterized Algorithms and Kernels for 3-Hitting Set with Parity Constraints ⋮ Solving min ones 2-SAT as fast as vertex cover

This page was built for publication: Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem