A decision procedure for quantified boolean formulae

Metadata Label Value
Autor(en): Plaisted, David, Biere, Armin
Verlag: ETH Zürich, Department of Computer Science, Institute of Computer Systems
Zitierweise:

Plaisted, David and Biere, Armin. A decision procedure for quantified boolean formulae. ETH Zürich, Department of Computer Science, Institute of Computer Systems (2000). http://dx.doi.org/10.3929/ethz-a-004242435

Dokumententyp: Tagungsbeiträge  
Dokumente: Text (71.77KB)

Detailansicht

Metadaten Beschreibung
Title A decision procedure for quantified boolean formulae
Author(s) Plaisted, David
Biere, Armin
Corporate Author Eidgenössische Technische Hochschule (Zürich)
Institut für Computersysteme
Publication Place Zürich
Publisher ETH Zürich, Department of Computer Science, Institute of Computer Systems
Publication Date 2000
Notes SAT 2000, Renesse, The Netherlands
Language English
DOI http://dx.doi.org/10.3929/ethz-a-004242435
Subject(s) Computersysteme
Keyword(s) SYSTEMANALYSE
SYSTEMENTWICKLUNG
SYSTEMENTWURF
COMPUTERSYSTEME
Organisational Unit Institut für Computersysteme
Online Publication Date 2001
Beschreibung Dateiname MIME Type Grösse
Text   eth-24398-01.pdf application/pdf 71.77KB
Abstract Views und Downloads
Views 41  abstracts
Downloads 22  downloads

Abstract Views und Downloads nach Land
Views 18  abstracts
Downloads downloads
Egypt Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Guatemala Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Fri, 18 Apr 2008, 23:07:56 CET