- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-9354
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
What is answer set programming to propositional satisfiability ; day:16 ; month:12 ; year:2016 ; pages:1-31
Constraints ; (16.12.2016), 1-31
- Klassifikation
-
Informatik
- Urheber
-
Lierler, Yuliya
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10601-016-9257-7
- URN
-
urn:nbn:de:1111-20170116508
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Lierler, Yuliya
- SpringerLink (Online service)
Ähnliche Objekte (12)
Programming in propositional logic or reductions : back to the roots (satisfiability)
Preferences in answer set programming
Predicting Propositional Satisfiability Based on Graph Attention Networks
Complex reasoning with answer set programming
Answer set programming and combinatorial voting
Industrial Applications of Answer Set Programming
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Model-based reasoning using answer set programming
Modeling biological systems with Answer Set Programming
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Programming in propositional logic or reductions : back to the roots (satisfiability)
Preferences in answer set programming
Predicting Propositional Satisfiability Based on Graph Attention Networks
Complex reasoning with answer set programming
Answer set programming and combinatorial voting
Industrial Applications of Answer Set Programming
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Model-based reasoning using answer set programming
Modeling biological systems with Answer Set Programming
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Programming in propositional logic or reductions : back to the roots (satisfiability)
Preferences in answer set programming
Predicting Propositional Satisfiability Based on Graph Attention Networks
Complex reasoning with answer set programming
Answer set programming and combinatorial voting
Industrial Applications of Answer Set Programming
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Model-based reasoning using answer set programming
Modeling biological systems with Answer Set Programming
Parameterised complexity of model checking and satisfiability in propositional dependence logic