On Classifying Continuous Constraint Satisfaction Problems

4 June 2021

Papers citing "On Classifying Continuous Constraint Satisfaction Problems"

2 / 2 papers shown

Title
The Hardness of Reasoning about Probabilities and Causality Benito van der Zander Markus Bläser Maciej Liskiewicz LRM 6 4 0 16 May 2023
$Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete$ Training Fully Connected Neural Networks is $\exists\mathbb{R}$ -Complete Daniel Bertschinger Christoph Hertrich Paul Jungeblut Tillmann Miltzow Simon Weber OffRL 40 30 0 04 Apr 2022