( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction.

, , и . IJCAI, стр. 720-728. ijcai.org, (2017)

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.

Daniel Sebastiani

Günther Sebastiani

Daniel Sebastiani

Julia Brigitte Sebastiani

Anne Stella Maria Sebastiani

 

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

Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions., и . CoRR, (2014)A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration., , и . CoRR, (2024)A New Method for Testing Decision Procedures in Modal Logics., , и . CADE, том 1249 из Lecture Notes in Computer Science, стр. 264-267. Springer, (1997)Optimization in SMT with $LA$ (ℚ) Cost Functions., и . IJCAR, том 7364 из Lecture Notes in Computer Science, стр. 484-498. Springer, (2012)Simple and Minimum-Cost Satisfiability for Goal Models., , и . CAiSE, том 3084 из Lecture Notes in Computer Science, стр. 20-35. Springer, (2004)SAT vs. translation based decision procedures for modal logics: a comparative evaluation., , , и . J. Appl. Non Class. Logics, 10 (2): 145-172 (2000)Enumerating Disjoint Partial Models without Blocking Clauses., , и . CoRR, (2023)Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test., , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 137-153. Springer, (2022)Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions., и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 335-349. Springer, (2015)Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)., и . Inf. Comput., 162 (1-2): 158-178 (2000)