by Bulatov, Andrei A.
Published in ACM transactions on computational logic (01.07.2011)

by Koçağa, Yaşar Levent
Published in Operations research letters (01.05.2025)

by Coja-Oghlan, Amin, Kapetanopoulos, Tobias, Müller, Noela
Published in Combinatorics, probability & computing (01.05.2020)

by Barták, Roman, Salido, Miguel A., Rossi, Francesca
Published in Journal of intelligent manufacturing (01.02.2010)

by Charitidou, Maria, Dimarogonas, Dimos V.
Published in IEEE control systems letters (01.01.2024)

by Gaspers, Serge, Szeider, Stefan
Published in Artificial intelligence (01.11.2014)

by Beierle, Christoph, Eichhorn, Christian, Kern-Isberner, Gabriele, Kutsch, Steven
Published in Annals of mathematics and artificial intelligence (01.08.2018)

by Zhuk, Dmitriy
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

by Zuenko, Alexander, Oleynik, Yurii
Published in Informatika i avtomatizaciâ (Online) (25.09.2024)

by Freuder, Eugene C., Wallace, Richard J.
Published in Artificial intelligence (01.12.1992)

by Lorterapong, Pasit, Ussavadilokrit, Mongkol
Published in Journal of construction engineering and management (01.04.2013)

by Horvath, Akos, Varro, Daniel
Published in Software and systems modeling (01.07.2012)

by Ghedira, Khaled
Year of Publication 2013

by Bulatov, A.A.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)

by Bidar, Mahdi, Mouhoub, Malek
Published in Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics (01.10.2019)

by Walker, M. L., Humphreys, D. A., Johnson, R. D., Leuer, J. A.
Published in Fusion science and technology (07.04.2017)

by Haddouch, Khalid, Elmoutaoukil, Karim, Ettaouil, Mohamed
Published in International journal of interactive multimedia and artificial intelligence (01.09.2016)

by Austrin, Per, Manokaran, Rajsekar, Wenner, Cenny
Published in Theory of computing (Chicago, Ill.) (2015)

by Dai, Li, Yu, Yuantao, Zhai, Di-Hua, Huang, Teng, Xia, Yuanqing
Published in IEEE transactions on industrial electronics (1982) (01.05.2021)

by Lee, Jimmy H.M., Zhong, Allen Z.
Published in Artificial intelligence (01.10.2023)