( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sequential Relational Decomposition.

, , , и . LICS, стр. 432-441. ACM, (2018)

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.

Yehudit Dror

Dror Atariah

Ishai Dror

Niv Drory

Heinrich Fried

 

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

Functional Synthesis via Input-Output Separation., , , и . FMCAD, стр. 1-9. IEEE, (2018)Repeated-Task Canadian Traveler Problem., , , , и . SOCS, стр. 24-30. AAAI Press, (2011)Mimicking Behaviors in Separated Domains (Abstract Reprint)., , , и . AAAI, стр. 22695. AAAI Press, (2024)BDD-Based Boolean Functional Synthesis., , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 402-421. Springer, (2016)Constrained Sampling and Counting: Universal Hashing Meets SAT Solving., , , , , , , и . AAAI Workshop: Beyond NP, том WS-16-05 из AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Taming Discrete Integration via the Boon of Dimensionality., , и . NeurIPS, (2020)Repeated-task Canadian Traveler Problem., , , , и . AI Commun., 28 (3): 453-477 (2015)From Weighted to Unweighted Model Counting., , , и . IJCAI, стр. 689-695. AAAI Press, (2015)AllSAT for Combinational Circuits., , и . SAT, том 271 из LIPIcs, стр. 9:1-9:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Entailing Generalization Boosts Enumeration., , , и . SAT, том 305 из LIPIcs, стр. 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)