Satisfiability Checking for PC(ID) (Q5387866)
From MaRDI portal
scientific article; zbMATH DE number 5279549
Language | Label | Description | Also known as |
---|---|---|---|
English | Satisfiability Checking for PC(ID) |
scientific article; zbMATH DE number 5279549 |
Statements
Satisfiability Checking for PC(ID) (English)
0 references
27 May 2008
0 references