A Model for Phase Transition of Random Answer-Set Programs (Q5277923)
From MaRDI portal
scientific article; zbMATH DE number 6744241
Language | Label | Description | Also known as |
---|---|---|---|
English | A Model for Phase Transition of Random Answer-Set Programs |
scientific article; zbMATH DE number 6744241 |
Statements
A Model for Phase Transition of Random Answer-Set Programs (English)
0 references
12 July 2017
0 references
answer sets
0 references
random logic programs
0 references
phase transition
0 references