Conceptio
›
Archive
›
ISTA Publications
ISTA Publications
metadata only
PolyQEnt: A polynomial quantified entailment solver
Chatterjee, Krishnendu ; https://orcid.org/0000-0002-4561-241X et al.
ISTA Publications · Papers
Open Source ↗
tech
tech, research
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis
#1066574
Value-positivity for matrix games
#1066576
Marginal values of a stochastic game
#1066577
Risk-aware Markov decision processes using cumulative prospect theory
#1066580
Multiplicative rewards in Markovian models
#1066581
Record
· ID 1066579
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.