Some Definitorial Suggestions for Parameterized Proof Complexity
Work
Year: 2012
Type: book-chapter
Authors Jörg Flum, Moritz Müller
Institutions University of Freiburg, University of Vienna
Cites: 15
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed