Artificial Intelligence and Symbolic Computation (Q5464698)
From MaRDI portal
scientific article; zbMATH DE number 2195773
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Artificial Intelligence and Symbolic Computation |
scientific article; zbMATH DE number 2195773 |
Statements
Artificial Intelligence and Symbolic Computation (English)
0 references
19 August 2005
0 references
Incremental Satisfiability
0 references
Stochastic Local Search
0 references
Extremal Optimization
0 references
Self-Organized Criticality
0 references