Work

SAT-Lancer

Year: 2018

Type: conference-paper

Source: ACM Great Lakes Symposium on VLSI (GLSVLSI)

DOI: 10.1145/3194554.3194643

Authors: Buse Ustaoglu, Sebastian Huhn, Daniel Große, Rolf Drechsler

Institution: University of Bremen

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2806544020

FWCI: 1.375

Cites: 13

Cited by: 11

Related to: 10