A decision procedure for quantified boolean formulae

Download
Text (PDF, 71.77Kb)
Thumbnail
Open access
Author
Plaisted, David
Biere, Armin
Date
2000
Type
    Other Conference Item
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-004242435
Publication status
published
Editor
Eidgenössische Technische Hochschule Institut für Computersysteme Zürich
Publisher
ETH Zürich, Department of Computer Science, Institute of Computer Systems
Event
3rd Workshop on Satisfiability (SAT 2000), Renesse, Netherlands, 2000
Subject
SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
Organisational unit
02641 - Institut für Computersysteme (ehem.) / Computer Systems Institute (former)
More
Show all metadata
ETH Bibliography
yes
Altmetrics