Anatoly Shalyto

From MaRDI portal

Revision as of 02:47, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2799211

Jump to:navigation, search

Available identifiers

zbMath Open shalyto.anatolyDBLP69/11070WikidataQ4519782 ScholiaQ4519782MaRDI QIDQ2799211

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5091082	2022-07-21	Paper
Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach	2021-05-26	Paper
BFS-Based Symmetry Breaking Predicates for DFA Identification	2016-04-08	Paper

Research outcomes over time

This page was built for person: Anatoly Shalyto

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2799211&oldid=7478136"