Work

A software/reconfigurable hardware SAT solver

Year: 2004

Type: article

Source: IEEE Transactions on Very Large Scale Integration (VLSI) Systems

DOI: 10.1109/tvlsi.2004.825859

Authors: I. Skliarova, A.B. Ferrari

Institution: University of Aveiro

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2157396773

FWCI: 5.71

Cites: 23

Cited by: 53

Related to: 10