Các bài viết có thể truy cập công khai - Roberto SebastianiTìm hiểu thêm
Có tại một số nơi: 17
Multi-objective reasoning with constrained goal models
CM Nguyen, R Sebastiani, P Giorgini, J Mylopoulos
Requirements Engineering 23, 189-225, 2018
Các cơ quan ủy nhiệm: European Commission
Structured learning modulo theories
S Teso, R Sebastiani, A Passerini
Artificial Intelligence 244, 166-187, 2017
Các cơ quan ủy nhiệm: Government of Italy
Advanced SMT techniques for weighted model integration
P Morettin, A Passerini, R Sebastiani
Artificial Intelligence 275, 1-27, 2019
Các cơ quan ủy nhiệm: European Commission
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Các cơ quan ủy nhiệm: European Commission
Efficient weighted model integration via SMT-based predicate abstraction
P Morettin, A Passerini, R Sebastiani
Proceedings of the 26th International Joint Conference on Artificial …, 2017
Các cơ quan ủy nhiệm: European Commission
Experimenting on solving nonlinear integer arithmetic with incremental linearization
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
International Conference on Theory and Applications of Satisfiability …, 2018
Các cơ quan ủy nhiệm: European Commission
Satisfiability modulo transcendental functions via incremental linearization
A Cimatti, A Griggio, A Irfan, M Roveri, R Sebastiani
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
Các cơ quan ủy nhiệm: European Commission
Requirements evolution and evolution requirements with constrained goal models
CM Nguyen, R Sebastiani, P Giorgini, J Mylopoulos
Conceptual Modeling: 35th International Conference, ER 2016, Gifu, Japan …, 2016
Các cơ quan ủy nhiệm: European Commission
The pywmi framework and toolbox for probabilistic inference using weighted model integration
S Kolb, P Morettin, P Zuidberg Dos Martires, F Sommavilla, A Passerini, ...
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
Các cơ quan ủy nhiệm: Research Foundation (Flanders), European Commission
On CNF conversion for disjoint SAT enumeration
G Masina, G Spallitta, R Sebastiani
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 271, 1501-1516, 2023
Các cơ quan ủy nhiệm: Government of Italy
SMT-based weighted model integration with structure awareness
G Spallitta, G Masina, P Morettin, A Passerini, R Sebastiani
Uncertainty in Artificial Intelligence, 1876-1885, 2022
Các cơ quan ủy nhiệm: European Commission
Disjoint partial enumeration without blocking clauses
G Spallitta, R Sebastiani, A Biere
Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8126-8135, 2024
Các cơ quan ủy nhiệm: European Commission
Enhancing SMT-based Weighted Model Integration by structure awareness
G Spallitta, G Masina, P Morettin, A Passerini, R Sebastiani
Artificial Intelligence 328, 104067, 2024
Các cơ quan ủy nhiệm: European Commission
Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test
A Cimatti, A Griggio, E Lipparini, R Sebastiani
International Symposium on Automated Technology for Verification and …, 2022
Các cơ quan ủy nhiệm: Government of Italy
Experimenting with D-Wave quantum annealers on prime factorization problems
J Ding, G Spallitta, R Sebastiani
Frontiers in Computer Science 6, 1335369, 2024
Các cơ quan ủy nhiệm: European Commission
On enumerating short projected models
S Möhle, R Sebastiani, A Biere
Discrete Applied Mathematics 361, 412-439, 2025
Các cơ quan ủy nhiệm: European Commission
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
A Cimatti, A Irfan, A Griggio, M Roveri, R Sebastiani
Satisfiability Checking and Symbolic Computation, 2016., [1]-[7], 2016
Các cơ quan ủy nhiệm: European Commission
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ