Automated Design Debugging With Maximum Satisfiability

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - United States
doi 10.1109/tcad.2010.2061270
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Design-As-Satisfiability: A New Approach to Automated Synthesis

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM
IndustrialArtificial IntelligenceManufacturing Engineering
2001English

A Genetic Algorithm With Expansion and Exploration Operators for the Maximum Satisfiability Problem

Applied Mathematical Sciences
2013English

Concurrency Debugging With MaxSMT

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)

2017English

Smten With Satisfiability-Based Search

2014English

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2002English

Debugging of Behavioural Models With CLEAR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Automated Axial Flow Turbine Design With Performance Prediction

Journal of Engineering Science and Military Technologies
2018English

Debugging Devices

Queue
Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy