Resolvedor modular de satisfabilidade aplicado na verificação de circuitos combinacionais
=== The state-of-the-art SAT solvers, as Chaff, zChaff, BerkMin, and Minisat usually share the same core heuristics, for instance: conflict clause recording, non-chronological backtracking and two-watched literals. Nevertheless, they generally differ in the elimination of learnt clauses, as well as...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2010
|
| Online Access: | http://hdl.handle.net/1843/SLSS-85BKJJ |