Alexey A. Bochkarev

1 catalog papers. Identity-linked publications and additional name matches are distinguished below.

ORCID: 0000-0002-8325-5759

Department of Mathematics, Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Kaiserslautern 67663, Germany

Publications

• On Aligning Non-Order-Associated Binary Decision Diagrams — INFORMS Journal on Computing 2023