Sortiert nach
Abstraction, Reformulation and Approximation, 2005, p.165-181
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.270-284
2005
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Artificial Intelligence
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Science & Technology
- Technology
- Theoretical Computing
- Algorithmics. Computability. Computer Arithmetics
- Artificial Intelligence
- Binary Constraint
- Conjunctive Normal Form
- Constraint Problem
- Horn Clause
- Input Instance
- Learning And Adaptive Systems
- Logical, Boolean And Switching Functions
- Search Space
- Stable Model Semantic
Kollektion