Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework release_cczswhsgvratdlq6pi7tubgkva

by Henrik Björklund, Sven Sandberg, Sergei Vorobyov

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2004   p381-394

Archived Files and Locations

application/pdf  208.6 kB
file_o2echa4he5fbhewhsyxa2u7zg4
web.archive.org (webarchive)
www.dbai.tuwien.ac.at (web)
application/pdf  218.6 kB
file_55mhqslrovcmtjzdykkik65xma
web.archive.org (webarchive)
web.archive.org (webarchive)
www8.cs.umu.se (web)
web.archive.org (webarchive)
www.cs.umu.se (web)
+ 1 more URLs
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2004
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: fad421ee-113d-45ef-9f77-7cf0e1d00671
API URL: JSON