Short XORs for Model Counting: From Theory to Practice (Q3612459)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5527201
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Short XORs for Model Counting: From Theory to Practice |
scientific article; zbMATH DE number 5527201 |
Statements
Short XORs for Model Counting: From Theory to Practice (English)
0 references
10 March 2009
0 references
0.8776994943618774
0 references
0.8408247828483582
0 references
0.7814887762069702
0 references
0.7729223370552063
0 references
0.7645844221115112
0 references
