Automated Verification of Weak Equivalence within the<scp><i>smodels</i></scp>System (Q5431418)
From MaRDI portal
scientific article; zbMATH DE number 5218931
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated Verification of Weak Equivalence within the<scp><i>smodels</i></scp>System |
scientific article; zbMATH DE number 5218931 |
Statements
Automated Verification of Weak Equivalence within the<scp><i>smodels</i></scp>System (English)
0 references
10 December 2007
0 references
Answer set programming
0 references
weak equivalence
0 references
programming methodology
0 references
program optimization
0 references