Amanote Research
Register
Sign In
Design-As-Satisfiability: A New Approach to Automated Synthesis
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM
- United Kingdom
doi 10.1017/s0890060401155022
Full Text
Open PDF
Abstract
Available in
full text
Categories
Industrial
Artificial Intelligence
Manufacturing Engineering
Date
November 1, 2001
Authors
DAN BRAHA
Publisher
Cambridge University Press (CUP)
Related search
Automated Design Debugging With Maximum Satisfiability
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
New Approach to Paricalcitol Synthesis
Chinese Science Bulletin
An Approach to Automated Fusion System Design and Adaptation
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
A New Approach to the Regulator Design Problem
Optimization Methods and Software
Control
Applied Mathematics
Optimization
Software
A New Approach to Biasing Design of Analog Circuits
Verifying Big Data Topologies By-Design: A Semi-Automated Approach
Journal of Big Data
Information Systems
Computer Networks
Hardware
Communications
Management
Architecture
Grasp—A New Search Algorithm for Satisfiability
A New Approach to Time-Frequency Localized Signal Design
New Algorithms for Exact Satisfiability
BRICS Report Series
