( en | de | ru )

 

Disambiguation of "Sebastiani, Roberto"

Author of the publication

copydeleteadd this publication to your clipboard
A General Purpose Reasoner for Abstraction.

, , , and . AI, volume 1081 of Lecture Notes in Computer Science, page 323-335. Springer, (1996)

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. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Sebastiani

Günther Sebastiani

Daniel Sebastiani

Julia Brigitte Sebastiani

Anne Stella Maria Sebastiani

 

Other publications of authors with the same name

An SAT-based Decision Procedure for ALC., and . Description Logics, volume WS-96-05 of AAAI Technical Report, page 49-59. AAAI Press, (1996)From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain.. FroCoS, volume 4720 of Lecture Notes in Computer Science, page 28-46. Springer, (2007)Building Efficient Decision Procedures on Top of SAT Solvers., and . SFM, volume 3965 of Lecture Notes in Computer Science, page 144-175. Springer, (2006)Efficient Satisfiability Modulo Theories via Delayed Theory Combination., , , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 335-349. Springer, (2005)An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic., , , , , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 317-333. Springer, (2005)Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 350-363. Springer, (2005)A SAT-based Decision Procedure for ALC., and . KR, page 304-314. Morgan Kaufmann, (1996)SMT-based weighted model integration with structure awareness., , , , and . UAI, volume 180 of Proceedings of Machine Learning Research, page 1876-1885. PMLR, (2022)The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration., , , , , , and . IJCAI, page 6530-6532. ijcai.org, (2019)Four Flavors of Entailment., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 62-71. Springer, (2020)