scientific article; zbMATH DE number 7310129
From MaRDI portal
Publication:5150489
zbMath1477.68189MaRDI QIDQ5150489
No author found.
Publication date: 15 February 2021
Full work available at URL: http://mathnet.ru/eng/pdm323
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Combinatorial optimization (90C27) Computational aspects of satisfiability (68R07)
Cites Work
This page was built for publication:
