HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Pal Papp

Publications
Formula partitioning revisited
Zoltan Mann and Pal Papp
In:POS-14. Fifth Pragmatics of SAT workshop

Keyphrases

CNF partitioning, Divide and Conquer, Fiduccia-Mattheyses algorithm, hypergraph partitioning, SAT partitioning.

Copyright © 2012-2025 easychair.org. All rights reserved.