( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.

, , , , и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 58-75. (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

 

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

Efficient Weighted Model Integration via SMT-Based Predicate Abstraction., , и . IJCAI, стр. 720-728. ijcai.org, (2017)Model Checking Syllabi and Student Carreers., , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 128-142. Springer, (2001)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)Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability., , и . AAAI/IAAI, стр. 948-953. AAAI Press / The MIT Press, (1998)Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions., и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 335-349. Springer, (2015)More Evaluation of Decision Procedures for Modal Logics., , , и . KR, стр. 626-635. Morgan Kaufmann, (1998)Simple and Minimum-Cost Satisfiability for Goal Models., , и . CAiSE, том 3084 из Lecture Notes in Computer Science, стр. 20-35. Springer, (2004)Optimization in SMT with $LA$ (ℚ) Cost Functions., и . IJCAR, том 7364 из Lecture Notes in Computer Science, стр. 484-498. Springer, (2012)A New Method for Testing Decision Procedures in Modal Logics., , и . CADE, том 1249 из Lecture Notes in Computer Science, стр. 264-267. Springer, (1997)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)