by Karapetyan, Daniel, Gagarin, Andrei, Gutin, Gregory
Published in Frontiers in Algorithmics (2015)

by Karapetyan, Daniel, Gagarin, Andrei, Gutin, Gregory
Year of Publication 25.12.2014

by Zhu, Detong
Published in The ANZIAM journal (01.07.2004)

by Karapetyan, Daniel, Gagarin, Andrei, Gutin, Gregory
Published in arXiv.org (30.03.2015)

by Sarkany, Marcell Csaba, Kovacs, Andras
Published in SACI (International Symposium on Applied Computational Intelligence and Informatics. Online) (23.05.2023)

by Han, Xiaotong, Zhu, Donghua, Wang, Xuefeng, Li, Jia, Qiao, Yali
Published in IEEE transactions on engineering management (01.10.2021)

by Bhalla, A., Lynce, I., de Sousa, J.T., Marques-Silva, J.
Published in 4th International Workshop on Microprocessor Test and Verification (MTV 2003): Common Challenges and Solutions (2003)

by Su, Pei, Luo, Bing Xue, Deng, Fang Yi, Xia, Ai Xue, Guo, Yan
Published in Journal of physics. Conference series (01.09.2020)

by Bhalla, Ateet, Lynce, Inês, de Sousa, José T., Marques-Silva, João
Published in Journal of automated reasoning (01.10.2005)

by Hsun-Cheng Lee, Ting-Chi Wang
Published in Proceedings of the ASP-DAC 2000 : Asia and South Pacific Design Automation Conference, 2000 : January 25-28, 2000, Yokohama, Japan (2000)

by Talla Nobibon, Fabrice, Hurkens, Cor, Leus, Roel, Spieksma, Frits C. R.
Published in Algorithmic Aspects in Information and Management (2010)

by XIE CHENYANG
Year of Publication 02.07.2008

by Bhalla, Ateet, Lynce, Inês, de Sousa, José T., Marques-Silva, João
Published in SAT 2005 (2006)

by Musliu, Nysret, Gärtner, Johannes, Slany, Wolfgang
Published in Discrete Applied Mathematics (01.09.2002)

by Padovani, Luca
Published in Compiler Construction (2005)

by Conrad, J.M., Mathew, J.
Published in 1994 International Conference on Parallel Processing Vol. 3 (1994)

by Musliu, Nysret, Gaertner, Johannes, Slany, Wolfgang
Published in arXiv.org (22.04.2006)

by Musliu, Nysret, Gaertner, Johannes, Slany, Wolfgang
Year of Publication 29.02.2000