Approximating the value of two power proof systems, with applications to MAX 2SAT and MAX DICUT 论文

2002引用 332
DOI
Complexity and Algorithms in GraphsFormal Methods in VerificationLow-power high-performance VLSI design
Formal Methods in VerificationLow-power high-performance VLSI designComplexity and Algorithms in Graphs
相关技术:Complexity and Algorithms in GraphsFormal Methods in Verification
关系图谱

Approximating the value of two power proof systems, with applications to MAX 2SAT and MAX DICUT · 相关技术

相关技术

Complexity and Algorithms in GraphsFormal Methods in Verification