A New Approach to Model Counting release_kcx3wvphabbnpmjofo732qlmoe

by Wei Wei, Bart Selman

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

2005   p324-339

Archived Files and Locations

application/pdf  296.5 kB
file_f5rxxjecvrc3lkmlvcmh3pizcm
web.archive.org (webarchive)
www.cs.cornell.edu (web)
www.cs.cornell.edu (web)
www.cs.cornell.edu (web)
web.archive.org (webarchive)
+ 4 more URLs
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2005
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: a6e62fb8-6adc-4a2b-b7da-c5c0159fc69d
API URL: JSON