Exploració per tema "BSW"
Ara es mostren els items 1-1 de 1
-
The Width-size method for general resolution is optimal
(1999-02)
Report de recerca
Accés obertThe Width-Size Method for resolution was recently introduced by Ben-Sasson and Wigderson (BSW): Short Proofs are Narrow - Resolution Made Simple STOC 99). They found a trade-off between two complexity measures for ...