- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
CSP beyond tractable constraint languages ; volume:28 ; number:3 ; day:11 ; month:10 ; year:2023 ; pages:450-471 ; date:9.2023
Constraints ; 28, Heft 3 (11.10.2023), 450-471, 9.2023
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10601-023-09362-3
- URN
-
urn:nbn:de:101:1-2024012911233446780989
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
2025-08-15T07:34:56+0200
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
- Dreier, Jan
- Ordyniak, Sebastian
- Szeider, Stefan
- SpringerLink (Online service)
Other Objects (12)
Multiparadigm constraint programming languages
Tractable falsifiability
Efficient Constraint Solving in Dynamic Languages
Validation Framework for RDF-based Constraint Languages
The signs of determination : constraint-based modelling across languages
Constraint Modelling and Data Validation Using Formal Specification Languages
Tractable reasoning in artificial intelligence
Parallel fixed parameter tractable problems
Tractable RNA–ligand interaction kinetics
Strafprozeßregister CsP
Strafprozeßregister CsP
Analytically tractable stochastic stock price models
Multiparadigm constraint programming languages
Tractable falsifiability
Efficient Constraint Solving in Dynamic Languages
Validation Framework for RDF-based Constraint Languages
The signs of determination : constraint-based modelling across languages
Constraint Modelling and Data Validation Using Formal Specification Languages
Tractable reasoning in artificial intelligence
Parallel fixed parameter tractable problems
Tractable RNA–ligand interaction kinetics
Strafprozeßregister CsP
Strafprozeßregister CsP
Analytically tractable stochastic stock price models
Multiparadigm constraint programming languages
Tractable falsifiability
Efficient Constraint Solving in Dynamic Languages
Validation Framework for RDF-based Constraint Languages
The signs of determination : constraint-based modelling across languages
Constraint Modelling and Data Validation Using Formal Specification Languages
Tractable reasoning in artificial intelligence
Parallel fixed parameter tractable problems
Tractable RNA–ligand interaction kinetics
Strafprozeßregister CsP
Strafprozeßregister CsP