- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-9354
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
What is answer set programming to propositional satisfiability ; day:16 ; month:12 ; year:2016 ; pages:1-31
Constraints ; (16.12.2016), 1-31
- Classification
-
Informatik
- Creator
-
Lierler, Yuliya
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10601-016-9257-7
- URN
-
urn:nbn:de:1111-20170116508
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lierler, Yuliya
- SpringerLink (Online service)
Other Objects (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
Industrial Applications of Answer Set Programming
Answer set programming and combinatorial voting
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
Model-based reasoning using answer set programming
Rescheduling master surgical schedules via answer set programming
Proof theory and algorithms for answer set programming
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
Industrial Applications of Answer Set Programming
Answer set programming and combinatorial voting
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
Model-based reasoning using answer set programming
Rescheduling master surgical schedules via answer set programming
Proof theory and algorithms for answer set programming
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
Industrial Applications of Answer Set Programming
Answer set programming and combinatorial voting
Complex optimization in answer set programming
aspeed : solver scheduling via answer set programming
Modeling biological systems with Answer Set Programming
Model-based reasoning using answer set programming
Rescheduling master surgical schedules via answer set programming