Data Structures and Algorithms · Computer Science
New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions
Sanjay Jain, Junqiang Peng, Frank Stephan, Haoyun Tang +1
2026-05-18
Computational Complexity · Computer Science
Computations with polynomial evaluation oracle: ruling out superlinear SETH-based lower bounds
Tatiana Belova, Alexander S. Kulikov, Ivan Mihajlin, Olga Ratseeva +2
2023-07-24
Data Structures and Algorithms · Computer Science
Tight (S)ETH-based Lower Bounds for Pseudopolynomial Algorithms for Bin Packing and Multi-Machine Scheduling
Karl Bringmann, Anita Dürr, Karol Węgrzycki
2026-03-16
Data Structures and Algorithms · Computer Science
Determining satisfiability of 3-SAT in polynomial time
Ortho Flint, Asanka Wickramasinghe, Jason Brasse, Christopher Fowler
2020-07-02
Data Structures and Algorithms · Computer Science
SETH-Based Lower Bounds for Subset Sum and Bicriteria Path
Amir Abboud, Karl Bringmann, Danny Hermelin, Dvir Shabtay
2021-02-22
Data Structures and Algorithms · Computer Science
On Problems as Hard as CNFSAT
Marek Cygan, Holger Dell, Daniel Lokshtanov, Daniel Marx +5
2018-04-24
Computational Complexity · Computer Science
Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof
Karthik C. S., Dániel Marx, Marcin Pilipczuk, Uéverton Souza
2024-04-18
Data Structures and Algorithms · Computer Science
A Simpler Exponential-Time Approximation Algorithm for MAX-k-SAT
Harry Buhrman, Sevag Gharibian, Zeph Landau, François Le Gall +2
2026-04-22
Computational Complexity · Computer Science
Local Enumeration: The Not-All-Equal Case
Mohit Gurumukhani, Ramamohan Paturi, Michael Saks, Navid Talebanfard
2025-01-07
Computational Complexity · Computer Science
Polynomial formulations as a barrier for reduction-based hardness proofs
Tatiana Belova, Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin +1
2022-11-30