624 search results - page 63 / 125 » Test set compaction algorithms for combinational circuits |
124
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
142
click to vote
ICCBR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...
128
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications b...
131
click to vote
AAAI
2010
15 years 5 months ago
2010
The AI community has achieved great success in designing high-performance algorithms for hard combinatorial problems, given both considerable domain knowledge and considerable eff...
142
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— For the past decade or so, evolutionary multiobjective optimization (EMO) methodologies have earned wide popularity for solving complex practical optimization problems,...