Amanote Research
Register
Sign In
Efficient SAT Solving: Beyond Supercubes
doi 10.1109/dac.2005.193910
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2005
Authors
D. Babic
J. Bingham
A.J. Hu
Publisher
IEEE
Related search
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
Asynchronous Multi-Core Incremental SAT Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving the SAT Problem Using Genetic Algorithm
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
Efficient Verified (UN)SAT Certificate Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
SAT-solving Approaches to Context-Aware Enterprise Network Security Management
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
A Compact and Efficient SAT Encoding for Quantum Circuits
Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets
Efficient SAT-based Boolean Matching for FPGA Technology Mapping
