by Naus, Nico, Jeuring, Johan
Published in Lecture notes in computer science (2019)

by Macquet, Adrian, Marie-Anne Bizouard, Christensen, Nelson, Coughlin, Michael
Published in arXiv.org (23.11.2021)

by Mahinthakumar, G, Gwo, J. P, Moline, Gerilynn R, Webb, Oren F
Published in Journal of environmental engineering (New York, N.Y.) (01.12.1999)

Published in Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages

by Brack, Samuel, Hager, Sven, Scheuermann, Bjorn
Published in 2015 IEEE 40th Conference on Local Computer Networks (LCN) (01.10.2015)

by Nijssen, Siegfried, Zimmermann, Albrecht
Published in Frequent Pattern Mining (2014)

by Sogawa, Yasuhiro, Shimizu, Shohei, Kawahara, Yoshinobu, Washio, Takashi
Published in The 2010 International Joint Conference on Neural Networks (IJCNN) (01.07.2010)

by Müller, Henry, Jähnichen, Stefan
Published in Principles and Practice of Constraint Programming - CP 2005 (2005)

by Qu, Rong, Kendall, Graham, Pillay, Nelishia
Published in IEEE computational intelligence magazine (01.05.2020)

by Heinz, Vilém, Vilím, Petr, Hanzálek, Zdeněk
Published in Computers & industrial engineering (01.11.2025)

by Marques-Silva, J.P., Sakallah, K.A.
Published in IEEE transactions on computers (01.05.1999)

by Meena, Shiv Ram, Rai, C. S.
Published in Journal of statistics & management systems (02.01.2020)

by Christen, Remo, Pommerening, Florian, Büchner, Clemens, Helmert, Malte
Published in Proceedings of the International Conference on Automated Planning and Scheduling (16.09.2025)

by Heinz, Vilém, Vilím, Petr, Hanzálek, Zdeněk
Year of Publication 27.08.2025

by Marques Silva, J.P., Sakallah, K.A.
Published in ICCAD-96: Digest of Technical Papers (1996)

by Koleva, Pavlina, Poulkov, Vladimir, Asenov, Oleg, Semov, Plamen
Published in 2015 38th International Conference on Telecommunications and Signal Processing (TSP) (01.07.2015)

by Shacham, O., Zarpas, E.
Published in 4th International Workshop on Microprocessor Test and Verification (MTV 2003): Common Challenges and Solutions (2003)

by Marques Silva, J.P., Sakallah, K.A.
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (1996)

by Ambuj, S.J., Saha, M.D., Sadgukhan, S.K.
Published in Second IFIP International Conference on Wireless and Optical Communications Networks, 2005. WOCN 2005 (2005)

by Silva, João P. Marques, Sakallah, Karem A.
Published in Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design (01.01.1997)