In this paper we present an algorithm for synthesizing formulas for given cardinality constraints, which relies on the theory of counting in- teger points in ...
scholar.google.com › citations
Jul 16, 2015 · In this paper we present an algorithm for synthesizing formulas for given cardinality constraints, which relies on the theory of counting integer points in ...
In this paper we present an algorithm for synthesizing formulas for given cardinality constraints, which relies on the theory of counting integral points in ...
Symbolic Polytopes for. Quantitative Interpolation and Verification. Klaus v. Gleissenthall, TU Munich joint work with. Andrey Rybalchenko, Microsoft Research.
In this paper we present an algorithm for synthesizing formulas for given cardinality constraints, which relies on the theory of counting integer points in ...
In this paper we present an algorithm for synthesizing formulas for given cardinality constraints, which relies on the theory of counting integer points in ...
Original language, English. Title of host publication, Computer Aided Verification - 27th International Conference. Publisher, Springer LNCS.
... Symbolic polytopes for quantitative interpolation and verification - extended version (2015). https://www7.in.tum.de/~gleissen/papers/symb-polytopes.pdf ...
Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko: Symbolic Polytopes for Quantitative Interpolation and Verification. CAV (1) 2015: 178-194.
Symbolic Polytopes for Quantitative Interpolation and Verification. Klaus v. Gleissenthall, Boris Köpf and Andrey Rybalchenko. [PDF] [Slides] [Extended ...