On variable-weighted exact satisfiability problems (Q2462633)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On variable-weighted exact satisfiability problems |
scientific article; zbMATH DE number 5217100
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On variable-weighted exact satisfiability problems |
scientific article; zbMATH DE number 5217100 |
Statements
On variable-weighted exact satisfiability problems (English)
0 references
3 December 2007
0 references
Weighted exact satisfiability
0 references
Exact algorithm
0 references
Combinatorial optimization
0 references
Counting problem
0 references
NP-completeness
0 references
Perfect matching
0 references
Maximum weight independent set
0 references
Set partition
0 references
0.9464130401611328
0 references
0.9090018272399902
0 references
0.9009842872619628
0 references
0.871218740940094
0 references
0.8164626359939575
0 references