Viktor Kuncak - Veröffentlichungen allgemein

(1 - 4 von 7

)

Sets with Cardinality Constraints in Satisfiability Modulo Theories |...

link.springer.com

Philippe Suter; Robin Steiger; Viktor Kuncak. Conference paper. 9 Citations · 8 Readers · 540 Downloads. Part of the Lecture Notes in Computer Science book ...

Runtime Verification | SpringerLink

link.springer.com

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September

Linear Arithmetic with Stars | SpringerLink

link.springer.com

We consider an extension of integer linear arithmetic with a “star” operator takes closure under vector addition of the solution set of a linear arithmetic...

Verwandte Suchanfragen zu Viktor Kuncak

Ruzica Piskac
Clark Barrett
Tihomir Gvero

Carsten Sinz
Etienne Kneuss
Ivan Kuraj

Personen
Vorname "Viktor" (8483)
Name "Kuncak" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Viktor Kuncak

Sets with Cardinality Constraints in Satisfiability Modulo Theories |...

Runtime Verification | SpringerLink

Linear Arithmetic with Stars | SpringerLink