Max-SAT with cardinality constraint parameterized by the number of clauses
From MaRDI portal
Publication:6547959
DOI10.1007/978-3-031-55601-2_15MaRDI QIDQ6547959
Lawqueen Kanesh, Pallavi Jain, Souvik Saha, Anannya Upasana, Abhishek Sahu, Fahad Panolan, Saket Saurabh
Publication date: 31 May 2024
Algorithms in computer science (68Wxx) Theory of computing (68Qxx) Discrete mathematics in relation to computer science (68Rxx)
This page was built for publication: Max-SAT with cardinality constraint parameterized by the number of clauses
