|
|
|
|
|
Tomohiro Sonobe
It has been proven that extended resolution (ER) has more powerful reasoning than general resolution for the pigeonhole principle in Cook?s paper. This fact indicates the possibility that a solver based on extended resolution can exceed Boolean satisfiab...
ver más
|
|
|
|
|