EasyChair Smart SlideUser guide
Author: Roberto Sebastiani

This page shows all presentations of this author published in EasyChair Smart Slide.

On CNF Conversion for Disjoint SAT Enumeration

On CNF Conversion for Disjoint SAT Enumeration

Gabriele Masina, Giuseppe Spallitta and Roberto Sebastiani

Optimization Modulo the Theory of Floating-Point Numbers

Optimization Modulo the Theory of Floating-Point Numbers

Patrick Trentin and Roberto Sebastiani

SMT-Based Weighted Model Integration (joint invited talk with the SMT Workshop)

SMT-Based Weighted Model Integration (joint invited talk with the SMT Workshop)

Roberto Sebastiani

Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri and Roberto Sebastiani

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair