by Omodeo, Eugenio G., Policriti, Alberto, Tomescu, Alexandru I.
Published in On Sets and Graphs (2017)

Published in Lecture notes in computer science

by Subramani, K., Wojciechowski, Piotr
Published in Annals of mathematics and artificial intelligence (01.01.2022)

by Krokhin, Andrei, Vagnozzi, Danny
Year of Publication 20.08.2025

by Ganov, Svetoslav, Khurshid, Sarfraz, Perry, Dewayne E.
Published in Formal Methods and Software Engineering (2012)

by Sundermann, Chico, Heß, Tobias, Nieke, Michael, Bittner, Paul Maximilian, Young, Jeffrey M., Thüm, Thomas, Schaefer, Ina
Published in Empirical software engineering : an international journal (01.03.2023)

by de Colnet, Alexis, Meel, Kuldeep S.
Published in Principles and Practice of Constraint Programming (2019)

Published in Tools and Algorithms for the Construction and Analysis of Systems (2019)

by Chen, Xi, Palit, Diptaksho, Peshawaria, Kabir, Pires, William, Servedio, Rocco A, Zhang, Yiding
Year of Publication 24.10.2025