zweidimensionales bewegtes Bild
Temporal Constraint Satisfaction Problems in Fixed-Point Logic: Q/A Session F - Paper F5.A
- Standort
-
Hannover TIB
- Umfang
-
1121MB, 00:22:59:28 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Ereignis
-
Veröffentlichung
- (wer)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (wann)
-
2020-01-01
- Beteiligte Personen und Organisationen
-
Bodirsky, Manuel
Rydval, Jakub
Pakusa, Wied
- DOI
-
10.5446/49323
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Bodirsky, Manuel
- Rydval, Jakub
- Pakusa, Wied
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Entstanden
- 2020-01-01
Ähnliche Objekte (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