sharpSAT – Counting Models with Advanced Component Caching and Implicit BCP release_gzcwhsu62jhd3ilrvflqegsdeq

by Marc Thurley

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

2006   p424-429

Archived Files and Locations

application/pdf  141.6 kB
file_cpqucklpdfav3gk2ziocbfs5u4
web.archive.org (webarchive)
www2.informatik.hu-berlin.de (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2006
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: 5a9ab973-12c4-4a41-8bff-27ea3fb417cb
API URL: JSON