Can I read Enhancing CEC with SAT and Recursive Learning on EtoBox?

Enhancing CEC with SAT and Recursive Learning by So Friend is a document available to read on EtoBox.

What is Enhancing CEC with SAT and Recursive Learning about?

This document describes an approach to combinational equivalence checking using Boolean satisfiability and recursive learning. It presents a new algorithm that extends existing SAT algorithms by applying recursive learning techniques to analyze SAT instances. This improves SAT algorithms for solving combinational equivalence checking. Experimental results show the proposed improved SAT algorithm performs well compared to BDD-based approaches on a variety of equivalence checking instances, particularly when

Author

So Friend

Language

EN