Finding compact scheme forests in nested normal form is NP-hard
From MaRDI portal
Publication:1322463
DOI10.1006/INCO.1994.1022zbMath0804.68035OpenAlexW2091946057MaRDI QIDQ1322463
George Loizou, Peter Thanisch, Jyrki Nummenmaa
Publication date: 12 January 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/f6d846ac9e256a4c7e3f043bb6cf5d9703c7f9ec
This page was built for publication: Finding compact scheme forests in nested normal form is NP-hard