| 72 |
Erfinder |
IN |
Kallat, Fadil, 44135, Dortmund, DE
;
Mieth, Carina, 70184, Stuttgart, DE
;
Rehof, Jakob, Dr., 44229, Dortmund, DE
|
| 56 |
Entgegengehaltene Nichtpatentliteratur/Zitate,
vom Anmelder genannt |
CTNP |
„Scala? zur Verfügung. Weiterhin sind CLS-Solver aus folgendem Artikel bekannt geworden: J. Bessai, A. Dudenhefner, B. Düdder, M. Martens, and J. Rehof, „Combinatory Logic Synthesizer,“ in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science, (Berlin, Heidelberg), pp. 26-40, Springer, 2014 1;
(Berlin, Heidelberg), pp. 337-340, Springer, 2008 1;
F. Kallat, T. Schäfer, and A. Vasileva, „CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories“, in Electronic Proceedings in Theoretical Computer Science, vol. 301: pp. 51-65, 2019? 1;
J. Bessai, B. Düdder, G. T. Heineman, et al., „(CL)S Framework,“ 2019 1;
L. de Moura and N. Bjørner, „Z3: An Efficient SMT Solver,“ in Tools and Algorithms for the Construction and Analysis of Systems (C. R. Ramakrishnan and J. Rehof, eds.), Lecture Notes in Computer Science, (Berlin, Heidelberg), pp. 337-340, Springer, 2008 sowie N. Bjørner, A.-D. Phan, and L. Fleckenstein, „vZ - An Optimizing SMT Solver,“ in Tools and Algorithms for the Construction and Analysis of Systems (C. Baier and C. Tinelli, eds.), vol. 9035, pp. 194-199, Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. 1;
N. Bjørner, A.-D. Phan, and L. Fleckenstein, „Z - An Optimizing SMT Solver,? in Tools and Algorithms for the Construction and Analysis of Systems (C. Baier and C. Tinelli, eds.), vol. 9035, pp. 194-199 1;
S. Völker, M. Bacher, P.-M. Schmidt und G. Gross: „Automatische Generierung logistischer Simulationsmodelle auf Basis von Planungswerkzeugen der digitalen Fabrik“, Frontiers in Simulation, vol. 15, Seiten 518-523, 2005 1
|
