( en | de | ru )

 

Disambiguation of "Sebastiani, Roberto"

Author of the publication

copydeleteadd this publication to your clipboard
Multi Object Reasoning with Constrained Goal Model.

, , , and . CoRR, (2016)

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

A SAT-based Decision Procedure for ALC., and . KR, page 304-314. Morgan Kaufmann, (1996)An SAT-based Decision Procedure for ALC., and . Description Logics, volume WS-96-05 of AAAI Technical Report, page 49-59. AAAI Press, (1996)Applying the Davis-Putnam Procedure to Non-clausal Formulas., and . AI*IA, volume 1792 of Lecture Notes in Computer Science, page 84-94. Springer, (1999)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)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)Efficient Satisfiability Modulo Theories via Delayed Theory Combination., , , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 335-349. Springer, (2005)Building Efficient Decision Procedures on Top of SAT Solvers., and . SFM, volume 3965 of Lecture Notes in Computer Science, page 144-175. Springer, (2006)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)Optimization Modulo the Theory of Floating-Point Numbers., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 550-567. Springer, (2019)Four Flavors of Entailment., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 62-71. Springer, (2020)