Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov. Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams. In Dragan Cisic, Neven Vrcek, Marko Koricic, Vera Gradisnik, Karolj Skala, Zeljka Car, Marina Cicin-Sain, Snjezana Babic, Vlado Sruk, Dejan Skvorc, Alan Jovic, Stjepan Gros, Boris Vrdoljak, Edvard Tijan, Tihomir Katulic, Juraj Petrovic, Tihana Galinac Grbac, Lovro Bozicevic, editors, 46th MIPRO ICT and Electronics Convention, MIPRO 2023, Opatija, Croatia, May 22-26, 2023. pages 1021-1026, IEEE, 2023. [doi]
Abstract is missing.