Towards Detection of Partial Truth via Real Geometry
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
7002
Dis Auftri
DIS_SAMMEL_7002
Jahr
2023
Titel
Towards Detection of Partial Truth via Real Geometry
Quelle
Proceedings of the 8th International Workshop on Satisfiability Checking and Symbolic Computation, July 28, 2023, Tromsø, Norway, Collocated with ISSAC 2023, -, RWTH Aachen
Autoren
