Articles under category:
Satisfiability
Satisfiability
Vol 15, Article 16 (pp 1-30)
[CCC18 Spec Issue]
Algebraic Dependencies and PSPACE Algorithms in Approximative Complexity over Any Field by Zeyu Guo, Nitin Saxena, and Amit Sinhababu |
Vol 14, Article 1 (pp 1-27)
Linear-Time Algorithm for Quantum 2SAT by Itai Arad, Miklos Santha, Aarthi Sundaram, and Shengyu Zhang |