A machine learning system to improve the performance of ASP solving based on encoding selection (Q2694597)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A machine learning system to improve the performance of ASP solving based on encoding selection |
scientific article |
Statements
A machine learning system to improve the performance of ASP solving based on encoding selection (English)
0 references
4 April 2023
0 references
answer set programming
0 references
encoding selection
0 references
machine learning
0 references