Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463945)
From MaRDI portal
scientific article; zbMATH DE number 2195035
Language | Label | Description | Also known as |
---|---|---|---|
English | Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making |
scientific article; zbMATH DE number 2195035 |
Statements
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (English)
0 references
17 August 2005
0 references
Boolean formulas
0 references
propositional logic
0 references
satisfiability
0 references
Minimal Unsatisfiable Sets
0 references