Effective prime factorization via quantum annealing by modular locally-structured embedding von Ding, Jingwen, Spallitta, Giuseppe, Sebastiani, Roberto

Volltext

Experimenting with D-Wave quantum annealers on prime factorization problems von Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani

Volltext

OptiMathSAT: A Tool for Optimization Modulo Theories von Sebastiani, Roberto, Trentin, Patrick

Volltext

Advanced SMT techniques for weighted model integration von Morettin, Paolo, Passerini, Andrea, Sebastiani, Roberto

Volltext

Optimization Modulo Theories with Linear Rational Costs von Sebastiani, Roberto, Tomasi, Silvia

Volltext

Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers von Trentin, Patrick, Sebastiani, Roberto

Volltext

On enumerating short projected models von Möhle, Sibylle, Sebastiani, Roberto, Biere, Armin

Volltext

Structured learning modulo theories von Teso, Stefano, Sebastiani, Roberto, Passerini, Andrea

Volltext

Enhancing SMT-based Weighted Model Integration by structure awareness von Spallitta, Giuseppe, Masina, Gabriele, Morettin, Paolo, Passerini, Andrea, Sebastiani, Roberto

Volltext

Theory and Applications of Satisfiability Testing - SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings von Cimatti, Alessandro, Sebastiani, Roberto

Volltext

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions von Cimatti, Alessandro, Griggio, Alberto, Irfan, Ahmed, Roveri, Marco, Sebastiani, Roberto

Volltext

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings von Galmiche, Didier, Schulz, Stephan, Sebastiani, Roberto

Volltext

Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results von Bian, Zhengbing, Chudak, Fabian, Macready, William, Roy, Aidan, Sebastiani, Roberto, Varotti, Stefano

Volltext

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic von Griggio, Alberto, Le, Thi Thieu Hoa, Sebastiani, Roberto

Volltext

Optimization Modulo the Theory of Floating-Point Numbers von Trentin, Patrick, Sebastiani, Roberto

Volltext

OptiMathSAT: A Tool for Optimization Modulo Theories von Sebastiani, Roberto, Trentin, Patrick

Volltext

A SAT-Based Approach to Learn Explainable Decision Sets von Ignatiev, Alexey, Pereira, Filipe, Narodytska, Nina, Marques-Silva, Joao

Volltext

Preface: Special Issue of Selected Extended Papers from IJCAR 2018 von Galmiche, Didier, Schulz, Stephan, Sebastiani, Roberto

Volltext

Exploring Approximations for Floating-Point Arithmetic Using UppSAT von Zeljić, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M., Rümmer, Philipp

Volltext

The MathSAT5 SMT Solver von Cimatti, Alessandro, Griggio, Alberto, Schaafsma, Bastiaan Joost, Sebastiani, Roberto

Volltext