Towards better heuristics for solving bounded model checking problems (Q6080505)
From MaRDI portal
scientific article; zbMATH DE number 7745122
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards better heuristics for solving bounded model checking problems |
scientific article; zbMATH DE number 7745122 |
Statements
Towards better heuristics for solving bounded model checking problems (English)
0 references
2 October 2023
0 references
bounded model checking
0 references
SAT
0 references
structural information
0 references
portfolio
0 references
parallelism
0 references
linear programming
0 references
