Author:Zoltan Mann
KeyphrasesCNF partitioning, complexity analysis, Divide and Conquer, Fiduccia-Mattheyses algorithm, hypergraph partitioning, SAT competitions, SAT partitioning, SAT solvers, typical-case complexity. |
| ||||
| ||||
| Copyright © 2012-2023 easychair.org. All rights reserved. |