Standard

Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata. / Shabana, Hanan; Volkov, Mikhail V.
Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers. ред. / Igor Bykadorov; Vitaly Strusevich; Tatiana Tchemisova. Springer, 2019. стр. 103-118 (Communications in Computer and Information Science; Том 1090 CCIS).

Результаты исследований: Глава в книге, отчете, сборнике статей › Материалы конференции › Рецензирование

Harvard

Shabana, H & Volkov, MV 2019, Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata. в I Bykadorov, V Strusevich & T Tchemisova (ред.), Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers. Communications in Computer and Information Science, Том. 1090 CCIS, Springer, стр. 103-118, 18-я международная конференция "Теория математической оптимизации и исследование операций" (MOTOR20I9), Ekaterinburg, Российская Федерация, 08/07/2019. https://doi.org/10.1007/978-3-030-33394-2_9

APA

Shabana, H., & Volkov, M. V. (2019). Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata. в I. Bykadorov, V. Strusevich, & T. Tchemisova (Ред.), Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers (стр. 103-118). (Communications in Computer and Information Science; Том 1090 CCIS). Springer. https://doi.org/10.1007/978-3-030-33394-2_9

Vancouver

Shabana H, Volkov MV. Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata. в Bykadorov I, Strusevich V, Tchemisova T, Редакторы, Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers. Springer. 2019. стр. 103-118. (Communications in Computer and Information Science). doi: 10.1007/978-3-030-33394-2_9

Author

Shabana, Hanan ; Volkov, Mikhail V. / Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata. Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers. Редактор / Igor Bykadorov ; Vitaly Strusevich ; Tatiana Tchemisova. Springer, 2019. стр. 103-118 (Communications in Computer and Information Science).

BibTeX

@inproceedings{9aaf9b4bcdd24ec99e4b1725edee5fa8,
title = "Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata",
keywords = "Careful synchronization, Carefully synchronizing word, Deterministic automaton, Nondeterministic automaton, Partial deterministic automaton, SAT, SAT solver",
author = "Hanan Shabana and Volkov, {Mikhail V.}",
note = "Funding Information: Supported by the Ministry of Science and Higher Education of the Russian Federation, projects no. 1.580.2016 and 1.3253.2017, and the Competitiveness Enhancement Program of Ural Federal University.; 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019 ; Conference date: 08-07-2019 Through 12-07-2019",
year = "2019",
month = jan,
day = "1",
doi = "10.1007/978-3-030-33394-2_9",
language = "English",
isbn = "9783030333935",
series = "Communications in Computer and Information Science",
publisher = "Springer",
pages = "103--118",
editor = "Igor Bykadorov and Vitaly Strusevich and Tatiana Tchemisova",
booktitle = "Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers",
address = "Germany",
url = "http://motor2019.uran.ru/",

}

RIS

TY - GEN

T1 - Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata

AU - Shabana, Hanan

AU - Volkov, Mikhail V.

N1 - Funding Information: Supported by the Ministry of Science and Higher Education of the Russian Federation, projects no. 1.580.2016 and 1.3253.2017, and the Competitiveness Enhancement Program of Ural Federal University.

PY - 2019/1/1

Y1 - 2019/1/1

KW - Careful synchronization

KW - Carefully synchronizing word

KW - Deterministic automaton

KW - Nondeterministic automaton

KW - Partial deterministic automaton

KW - SAT

KW - SAT solver

UR - http://www.scopus.com/inward/record.url?scp=85076254945&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-33394-2_9

DO - 10.1007/978-3-030-33394-2_9

M3 - Conference contribution

AN - SCOPUS:85076254945

SN - 9783030333935

T3 - Communications in Computer and Information Science

SP - 103

EP - 118

BT - Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers

A2 - Bykadorov, Igor

A2 - Strusevich, Vitaly

A2 - Tchemisova, Tatiana

PB - Springer

T2 - 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019

Y2 - 8 July 2019 through 12 July 2019

ER -

ID: 11445972