Amanote Research
Register
Sign In
New & Improved Models for SAT-based Bi-Decomposition
doi 10.1145/2206781.2206817
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Huan Chen
Joao Marques-Silva
Publisher
ACM Press
Related search
To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale
An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
Composite Fault Diagnosis of Gearbox Based on Empirical Mode Decomposition and Improved Variational Mode Decomposition
Journal of Low Frequency Noise Vibration and Active Control
Building
Mechanics of Materials
Ultrasonics
Mechanical Engineering
Civil
Acoustics
Structural Engineering
Construction
Geophysics
High-Definition Geomagnetic Models: A New Perspective for Improved Wellbore Positioning
Improved Generalized Disjunction Decomposition for Circuit Evolutionary Design
Efficient SAT-based Boolean Matching for FPGA Technology Mapping
Decision Tree-Based Acoustic Models for Speech Recognition With Improved Smoothness
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
FPGA Based Runtime Configurable Clause Evaluator for SAT Problems
Electronics Letters
Electronic Engineering
Electrical
