Amanote Research
Register
Sign In
SAT-based Optimal Hypergraph Partitioning With Replication
doi 10.1109/aspdac.2006.1594782
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
M.G. Wrighton
A.M. DeHon
Publisher
IEEE
Related search
Weighted Adaptive Neighborhood Hypergraph Partitioning for Image Segmentation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hypergraph-Based Wikipedia Search With Semantics
International Journal of Web Science
Hypergraph Partitioning Implementation for Parallelizing Matrix-Vector Multiplication Using CUDA GPU-based Parallel Computing
Optimal Partitioning of Sequences
Journal of Algorithms
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
Multi-Objective Hypergraph Partitioning Algorithms for Cut and Maximum Subdomain Degree Minimization
Optimal Subset Selection for Classification Through SAT Encodings
IFIP – The International Federation for Information Processing
Optimal Partitioning of a Measurable Space
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Model Checking With SAT-Based Characterization of ACTL Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
