research
∙
06/17/2022
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games
We develop value iteration-based algorithms to solve in a unified manner...
share
research
∙
04/30/2021
Formalizing the Face Lattice of Polyhedra
Faces play a central role in the combinatorial and computational aspects...
research
∙
01/19/2021
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
log ('setlog') is a satisfiability solver for formulas of the theory of ...
research
∙
02/21/2018
