Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Chukharev, Konstantin
10
Ergebnisse:
Personensuche
X
Format
Online (10)
Medientypen
Artikel (Online) (3)
OpenAccess-Volltexte (7)
Sortierung: Relevanz
Sortierung: Jahr
?
1
A 4-lineage Statistical Suite to Evaluate the Support of La..:
Churakov, Gennady
;
Kuritzin, Andrej
;
Chukharev, Konstantin
...
Systematic Biology. 72 (2023) 3 - p. 649-661 , 2023
Link:
https://doi.org/10.1093/..
?
2
fbSAT: Automatic Inference of Minimal Finite-State Models o..:
Chukharev, Konstantin
;
Chivilikhin, Daniil
IEEE Access. 10 (2022) - p. 131592-131610 , 2022
Link:
https://doi.org/10.1109/..
?
3
SAT-Based Counterexample-Guided Inductive Synthesis of Dist..:
Chukharev, Konstantin
;
Suvorov, Dmitrii
;
Chivilikhin, Daniil
.
IEEE Access. 8 (2020) - p. 207485-207498 , 2020
Link:
https://doi.org/10.1109/..
?
4
Estimating the hardness of SAT encodings for Logical Equiva..:
Semenov, Alexander
;
Chukharev, Konstantin
;
Tarasov, Egor
..
http://arxiv.org/abs/2210.01484. , 2022
Link:
http://arxiv.org/abs/221..
?
5
SAT-Based Counterexample-Guided Inductive Synthesis of Dist..:
Chukharev, Konstantin
;
Suvorov, Dmitrii
;
Chivilikhin, Daniil
.
IEEE Access. , 2020
Link:
https://aaltodoc.aalto.f..
?
6
Automatic State Machine Reconstruction from Legacy Programm..:
Chivilikhin, Daniil
;
Patil, Sandeep
;
Chukharev, Konstantin
..
IEEE Transactions on Industrial Informatics. , 2020
Link:
https://aaltodoc.aalto.f..
?
7
fbSAT: Automatic Inference of Minimal Finite-State Models o..:
Chukharev, Konstantin
;
Chivilikhin, Daniil
http://arxiv.org/abs/1907.03285. , 2019
Link:
http://arxiv.org/abs/190..
?
8
fbSAT: Automatic Inference of Minimal Finite-State Models o..:
Konstantin Chukharev
;
Daniil Chivilikhin
https://ieeexplore.ieee.org/document/9984658/. , 2022
Link:
https://doi.org/10.1109/..
?
9
SAT-Based Counterexample-Guided Inductive Synthesis of Dist..:
Konstantin Chukharev
;
Dmitrii Suvorov
;
Daniil Chivilikhin
.
https://ieeexplore.ieee.org/document/9257351/. , 2020
Link:
https://doi.org/10.1109/..
?
10
APPLICATION OF INCREMENTAL SATISFIABILITY PROBLEM SOLVERS F..:
Konstantin I. Chukharev
https://ntv.ifmo.ru/file/article/20008.pdf. , 2020
Link:
https://doi.org/10.17586..
1-10