Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT (Q5014283)
From MaRDI portal
scientific article; zbMATH DE number 7437374
Language | Label | Description | Also known as |
---|---|---|---|
English | Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT |
scientific article; zbMATH DE number 7437374 |
Statements
Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT (English)
0 references
1 December 2021
0 references
SAT
0 references
MaxSAT
0 references
heuristics
0 references