Theory and Applications of Satisfiability Testing
type: Item
instance of: scholarly article
title: Theory and Applications of Satisfiability Testing
zbMATH Open document ID: 1122.68606
DOI: 10.1007/11527695
author: Hoonsang Jin
author: Fabio Somenzi
published in: Lecture Notes in Computer Science
publication date: 2005-12-16T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 2239205
describes a project that uses: SBSAT
describes a project that uses: CUDD
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/11527695
OpenAlex ID: W2483910514
description: scientific article; zbMATH DE number 2239205