Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints (Q6154177)
From MaRDI portal
scientific article; zbMATH DE number 7805094
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints |
scientific article; zbMATH DE number 7805094 |
Statements
Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints (English)
0 references
14 February 2024
0 references
constraint programming
0 references
SAT encodings
0 references
machine learning
0 references
global constraints
0 references
pseudo-Boolean constraints
0 references
linear constraints
0 references
