Title of article
Exploiting structure in quantified formulas
Author/Authors
Richard E. Stearns، نويسنده , , Harry B. Hunt III، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
44
From page
220
To page
263
Keywords
Non-serial dynamic programming , Channelwidth , Structure trees , Constraint satisfaction problems , Treewidth , tree decompositions , Quantified formulas , computational complexity , Generic algorithms , Satisfiability problems
Journal title
Journal of Algorithms
Serial Year
2002
Journal title
Journal of Algorithms
Record number
291522
Link To Document