zweidimensionales bewegtes Bild
Temporal Constraint Satisfaction Problems in Fixed-Point Logic: Q/A Session F - Paper F5.A
- Location
-
Hannover TIB
- Extent
-
1121MB, 00:22:59:28 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (when)
-
2020-01-01
- Contributor
-
Bodirsky, Manuel
Rydval, Jakub
Pakusa, Wied
- DOI
-
10.5446/49323
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Bodirsky, Manuel
- Rydval, Jakub
- Pakusa, Wied
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Time of origin
- 2020-01-01
Other Objects (12)
Sensitive instances of the Constraint Satisfaction Problem: Q/A Session B - Paper B4.A
Logic-based 0-1 constraint solving in constraint logic programming
Constraint satisfaction with infinite domains
Constraint satisfaction with infinite domains
Higher-order constraint logic programming
Projection in constraint logic programming
Constraint satisfaction with succinctly specified relations
New algebraic tools for constraint satisfaction
CONSAT, a system for constraint satisfaction
Exact algorithms for constraint satisfaction problems
Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Cutting planes in constraint logic programming
Sensitive instances of the Constraint Satisfaction Problem: Q/A Session B - Paper B4.A
Logic-based 0-1 constraint solving in constraint logic programming
Constraint satisfaction with infinite domains
Constraint satisfaction with infinite domains
Higher-order constraint logic programming
Projection in constraint logic programming
Constraint satisfaction with succinctly specified relations
New algebraic tools for constraint satisfaction
CONSAT, a system for constraint satisfaction
Exact algorithms for constraint satisfaction problems
Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Cutting planes in constraint logic programming
Sensitive instances of the Constraint Satisfaction Problem: Q/A Session B - Paper B4.A
Logic-based 0-1 constraint solving in constraint logic programming
Constraint satisfaction with infinite domains
Constraint satisfaction with infinite domains
Higher-order constraint logic programming
Projection in constraint logic programming
Constraint satisfaction with succinctly specified relations
New algebraic tools for constraint satisfaction
CONSAT, a system for constraint satisfaction
Exact algorithms for constraint satisfaction problems
Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic