by Parker, James R
Year of Publication 2021

by Zamir, Or
Year of Publication 06.10.2021

by Or Zamir
Published in arXiv.org (29.06.2022)

by Koucký, Michal, Rödl, Vojtěch, Talebanfard, Navid
Published in Logical methods in computer science (01.01.2021)

Published in Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing

by Kim, Eun Jung, Gonçalves, Daniel
Published in Theoretical computer science (04.11.2013)

by Jaballah, Atef, Meddeb, Aref
Published in Journal of ambient intelligence and humanized computing (01.02.2021)

Published in Matematicheskai︠a︡ biologii︠a︡ i bioinformatika = Mathematical biology and bioinformatics (14.11.2022)

by Ekstedt, Andreas, Gould, Oliver, Hirvonen, Joonas
Published in The journal of high energy physics (11.12.2023)

by Liu, Xiaolan, Liu, Shenghan, Hao, Zhifeng, Mauch, Holger
Published in Computers & operations research (01.11.2011)

by Chou, Sheng-Kai, Jiau, Ming-Kai, Huang, Shih-Chia
Published in IEEE transactions on cybernetics (01.08.2016)

by Ghedira, Khaled
Year of Publication 2013

by Larrosa, Javier, Schiex, Thomas
Published in Artificial intelligence (01.11.2004)

by Allen, Sarah R., O'Donnell, Ryan, Witmer, David
Published in 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (01.10.2015)

by Guruswami, Venkatesan, Hsieh, Jun-Ting, Kothari, Pravesh K., Manohar, Peter
Published in Proceedings / annual Symposium on Foundations of Computer Science (06.11.2023)

by Vera, Alberto, Banerjee, Siddhartha, Samaranayake, Samitha
Published in Operations research (01.01.2022)

by Jin, Jing, Miao, Yangyang, Daly, Ian, Zuo, Cili, Hu, Dewen, Cichocki, Andrzej
Published in Neural networks (01.10.2019)

by Chen, Ruiwen, Santhanam, Rahul
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Liu, Gang, Wang, Jing
Published in IEEE transactions on neural systems and rehabilitation engineering (2022)

by Koucký, Michal, Rödl, Vojtěch, Talebanfard, Navid
Published in arXiv.org (10.12.2021)