Conflict-directed \(A^{*}\) and its role in model-based embedded systems (Q2643303)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conflict-directed \(A^{*}\) and its role in model-based embedded systems |
scientific article |
Statements
Conflict-directed \(A^{*}\) and its role in model-based embedded systems (English)
0 references
23 August 2007
0 references
constraint optimization with logical constraints
0 references
propositional satisfiability
0 references
conflict and clause learning
0 references
model-based autonomous and embedded systems
0 references
