Theory and Applications of Satisfiability Testing
type: Item
instance of: scholarly article
title: Theory and Applications of Satisfiability Testing
zbMATH Open document ID: 1204.68187
author: Hubie Chen
published in: Lecture Notes in Computer Science
publication date: 2009-07-24T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 5586614
MaRDI profile type: MaRDI publication profile
full work available at URL: b95238
OpenAlex ID: W2494235144
DBLP publication ID: conf/sat/2003
DOI: 10.1007/B95238
description: scientific article; zbMATH DE number 5586614