Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus

In this paper we consider the relationship between monomial-size and bit-complexity in Sums-of-Squares (SOS) in Polynomial Calculus Resolution over rationals ({\text{PCR}}/\mathbb{Q}). We show that there is a set of polynomial constraints Q n over Boolean variables that has both SOS and {\text{PCR}}...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science S. 1 - 7
1. Verfasser:	Hakoniemi, Tuomas
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 29.06.2021
Schlagworte:	Calculus Computer science
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!