Roberto Sebastiani
Orcid: 0000-0002-0989-6101
According to our database1,
Roberto Sebastiani
authored at least 124 papers
between 1994 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
2024
Artif. Intell., March, 2024
Frontiers Comput. Sci., 2024
A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration.
CoRR, 2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding.
CoRR, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
2022
Proceedings of the Uncertainty in Artificial Intelligence, 2022
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
J. Autom. Reason., 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
2020
J. Autom. Reason., 2020
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results.
Inf. Comput., 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
2019
CoRR, 2019
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
ACM Trans. Comput. Log., 2018
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
2016
Proceedings of the Conceptual Modeling - 35th International Conference, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT.
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
ACM Trans. Comput. Log., 2015
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking.
Int. J. Softw. Tools Technol. Transf., 2011
J. Artif. Intell. Res., 2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
Goal Modeling and Reasoning in Tropos.
Proceedings of the Social Modeling for Requirements Engineering., 2011
2010
ACM Trans. Comput. Log., 2010
Log. Methods Comput. Sci., 2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
2009
Proceedings of the Handbook of Satisfiability, 2009
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability.
J. Artif. Intell. Res., 2009
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis.
Ann. Math. Artif. Intell., 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.
Proceedings of the Automated Deduction, 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
J. Satisf. Boolean Model. Comput., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006
Proceedings of the Formal Methods for Hardware Verification, 2006
Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC.
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in <i>SMT</i>(<i>EUF</i> È<i>T</i>).
Proceedings of the Logic for Programming, 2006
2005
J. Autom. Reason., 2005
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005
Eng. Appl. Artif. Intell., 2005
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004
2003
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures.
J. Artif. Intell. Res., 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
2002
J. Symb. Comput., 2002
Proceedings of the Verification, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.
Proceedings of the Automated Deduction, 2002
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.
Proceedings of the Artificial Intelligence, 2002
2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
2000
SAT vs. translation based decision procedures for modal logics: a comparative evaluation.
J. Appl. Non Class. Logics, 2000
Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m).
Inf. Comput., 2000
1999
Proceedings of the Computer Safety, 1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999
1998
More Evaluation of Decision Procedures for Modal Logics.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Proceedings of the Artificial Intelligence: Methodology, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Proceedings of the Automated Deduction, 1997
1996
A SAT-based Decision Procedure for ALC.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
An SAT-based Decision Procedure for ALC.
Proceedings of the 1996 International Workshop on Description Logics, 1996
A New Method for Testing Decision Procedures in Modal and Terminological Logics.
Proceedings of the 1996 International Workshop on Description Logics, 1996
Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Proceedings of the Advances in Artificial Intelligence, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1994