2 search results - page 1 / 1 » Minimizing Counterexample with Unit Core Extraction and Incr... |
152
Voted
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
155
Voted
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
－ It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...