( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Generalization of Backdoor Trees with Application to SAT.

, , , и . AAAI, стр. 4095-4103. AAAI Press, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Daniil Karapetyan

Daniil Verbitskiy

Daniil Roubanov

Dimitra Daniil

Daniil Nekrassov

 

Другие публикации лиц с тем же именем

Probabilistic Generalization of Backdoor Trees with Application to SAT., , , и . AAAI, стр. 4095-4103. AAAI Press, (2023)Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming., , и . GECCO (Companion), стр. 1185-1188. ACM, (2015)Active Learning of Formal Plant Models For Cyber-Physical Systems., , , , , , и . INDIN, стр. 719-724. IEEE, (2018)Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability., , и . CEC, стр. 1-8. IEEE, (2022)Small-Moves Based Mutation For Pick-Up And Delivery Problem., , и . GECCO (Companion), стр. 1027-1030. ACM, (2016)BeBoSy: Behavior Examples Meet Bounded Synthesis., , и . IEEE Access, (2021)Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks., , и . TrustCom/BigDataSE/ISPA (3), стр. 307-312. IEEE, (2015)978-1-4673-7952-6.CSP-based inference of function block finite-state models from execution traces., , , и . INDIN, стр. 714-719. IEEE, (2017)Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms., , , , , и . CP, том 210 из LIPIcs, стр. 47:1-47:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking.. CEC, стр. 2419-2426. IEEE, (2021)