Parameterized Proof Complexity
β
Stefan Dantchev; Barnaby Martin; Stefan Szeider
π
Article
π
2011
π
Springer
π
English
β 491 KB