Theory and Applications of Satisfiability Testing
type: Item
instance of: scholarly article
title: Theory and Applications of Satisfiability Testing
zbMATH Open document ID: 1128.68452
author: Marco H. Benedetti
published in: Lecture Notes in Computer Science
publication date: 2005-12-15T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 2238981
zbMATH Keywords: Quantified Boolean Formulas
describes a project that uses: QuBE++
MaRDI profile type: MaRDI publication profile
full work available at URL: b137280
OpenAlex ID: W2497844642
DOI: 10.1007/B137280
Recommended article: Formal Methods in Computer-Aided Design
Recommended article: Expansion-based QBF Solving on Tree Decompositions*
Recommended article: Integrating Dependency Schemes in Search-Based QBF Solvers
Recommended article: Principles and Practice of Constraint Programming – CP 2004
Recommended article: Theory and Applications of Satisfiability Testing
description: scientific article; zbMATH DE number 2238981