2015 Seventh International Conference on Advanced Computational Intelligence (ICACI) 2015
DOI: 10.1109/icaci.2015.7184740
|View full text |Cite
|
Sign up to set email alerts
|

Application and analysis of unsatisfiable cores on circuits synthesis

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2019
2019
2020
2020

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 11 publications
0
1
0
Order By: Relevance
“…It then diagnoses design conflicts based on several SAT techniques, such as Minimal Unsatisfiable Subset (MUS), Boolean Constraint Propagation (BCP) and Partial Implication Graph (PIG). Using the MUS technique [6,27] identifying a minimum unsatisfiable subset of conflicting clauses, we first extract partial layouts that include the causes of conflicts in the unroutable case. BCP [17] is a simplification procedure for clauses using unit clauses.…”
Section: Introductionmentioning
confidence: 99%
“…It then diagnoses design conflicts based on several SAT techniques, such as Minimal Unsatisfiable Subset (MUS), Boolean Constraint Propagation (BCP) and Partial Implication Graph (PIG). Using the MUS technique [6,27] identifying a minimum unsatisfiable subset of conflicting clauses, we first extract partial layouts that include the causes of conflicts in the unroutable case. BCP [17] is a simplification procedure for clauses using unit clauses.…”
Section: Introductionmentioning
confidence: 99%