Publikation

A Logic for Cardinality Constraints

Heinz Riener, Oliver Keszocze, Rolf Drechsler, Görschwin Fey

In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-14) 17. March 10-12 Boeblingen Germany Seiten 217-220 Cullivier Verlag GmbH 2014.

Abstrakt

o.A.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence