Amanote Research
Register
Sign In
To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale
doi 10.1109/iccad.2008.4681548
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2008
Authors
Jie-Hong R. Jiang
Ruei-Rung Lee
Publisher
IEEE
Related search
From Parallel SAT to Distributed SAT
A SAT Approach to Branchwidth
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
New & Improved Models for SAT-based Bi-Decomposition
Three “Quantum” Algorithms to Solve 3-Sat
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Learn With SAT to Minimize Büchi Automata
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
A Translation of Pseudo-Boolean Constraints to SAT
Journal on Satisfiability, Boolean Modeling and Computation
Sat in the Center
The Iowa Review
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics