Amanote Research
Register
Sign In
Solving Satisfiability Problems Using Reconfigurable Computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
- United States
doi 10.1109/92.920826
Full Text
Open PDF
Abstract
Available in
full text
Categories
Hardware
Electronic Engineering
Electrical
Architecture
Software
Date
February 1, 2001
Authors
T. Suyama
M. Yokoo
H. Sawada
A. Nagoya
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Related search
Computing All Optimal Solutions in Satisfiability Problems With Preferences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
High-Performance Computing Using a Reconfigurable Accelerator
Concurrency: Practice and Experience
Reconfigurable Computing Application Frameworks
Solving Architectural Modelling Problems Using Knowledge
Using Reconfigurable Computing Technology to Accelerate Matrix Decomposition and Applications
Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES
Combining Linear Programming and Satisfiability Solving for Resource Planning
Knowledge Engineering Review
Artificial Intelligence
Software
Introduction to Stochastic Computing Using a Remote Lab With Reconfigurable Logic
International Journal of Online Engineering
Engineering
E-learning
