Find, Magnus; Göös, Mika; Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H. Separating OR, SUM, and XOR circuits. (English) Zbl 1338.68102 J. Comput. Syst. Sci. 82, No. 5, 793-801 (2016). MSC: 68Q25 94C10 PDFBibTeX XMLCite \textit{M. Find} et al., J. Comput. Syst. Sci. 82, No. 5, 793--801 (2016; Zbl 1338.68102) Full Text: DOI arXiv
Järvisalo, Matti; Kaski, Petteri; Koivisto, Mikko; Korhonen, Janne H. Finding efficient circuits for ensemble computation. (English) Zbl 1273.68179 Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 369-382 (2012). MSC: 68Q25 94C10 PDFBibTeX XMLCite \textit{M. Järvisalo} et al., Lect. Notes Comput. Sci. 7317, 369--382 (2012; Zbl 1273.68179) Full Text: DOI
Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. (English) Zbl 1116.68084 J. Satisf. Boolean Model. Comput. 2, No. 1-4, 27-46 (2006). MSC: 68T20 PDFBibTeX XMLCite \textit{H. Haanpää} et al., J. Satisf. Boolean Model. Comput. 2, No. 1--4, 27--46 (2006; Zbl 1116.68084)