Personensuche
X
?
Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science ,
7
OptiLog: A Framework for SAT-based Systems:
, In:
?
Computational Science and Its Applications – ICCSA 2020; Lecture Notes in Computer Science ,
9
Numbers of Served and Lost Customers in Busy-Periods of M/M..:
, In:
?
Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition (SoCPaR 2018); Advances in Intelligent Systems and Computing ,
12