Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A.M. DeHon
SAT-based Optimal Hypergraph Partitioning With Replication
Related publications
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
