SC-Square 2021: Satisfiability Checking and Symbolic Computation 2021 : proceedings of the 6th SC-Square Workshop, co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2021) : virtual event, College Station, United States, August 19-20, 2021 (English)
Free access
- New search for: International Workshop on Satisfiability Checking and Symbolic Computation
- Further information on International Workshop on Satisfiability Checking and Symbolic Computation:
- http://d-nb.info/gnd/1278261036
- New search for: International Workshop on Satisfiability Checking and Symbolic Computation
- Further information on International Workshop on Satisfiability Checking and Symbolic Computation:
- http://d-nb.info/gnd/1278261036
2022
- Conference Proceedings / Electronic Resource
-
Title:SC-Square 2021: Satisfiability Checking and Symbolic Computation 2021 : proceedings of the 6th SC-Square Workshop, co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2021) : virtual event, College Station, United States, August 19-20, 2021
-
Contributors:
-
Conference:International Workshop on Satisfiability Checking and Symbolic Computation ; 6 ; 2021 ; Online
SC-Square Workshop ; 6 ; 2021 ; Online
SC2 Workshop ; 6 ; 2021 ; Online
SIAM Conference on Applied Algebraic Geometry ; 2021 ; Online
SIAM AG ; 2021 ; Online -
Published in:CEUR workshop proceedings ; vol-3273
-
Publisher:
- New search for: [RWTH Aachen]
-
Place of publication:[Aachen, Germany]
-
Publication date:2022
-
Size:1 Online-Ressource
-
Remarks:Illustrationen
In der Namensform "SC2 Workshop" ist "2" hochgestellt.
Literaturangaben
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek -
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.10 Theoretische Informatik -
Licence:
-
Source: