Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by DAN BRAHA
Design-As-Satisfiability: A New Approach to Automated Synthesis
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM
Industrial
Artificial Intelligence
Manufacturing Engineering
Related publications
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
