Skip to contents

Ghilardi, Silvio [Editor]; Sebastiani, Roberto [Other] ; FroCoS 7 2009 Trient

Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5749
Grossi, Roberto [Editor]; Sebastiani, Fabrizio [Other]; Silvestri, Fabrizio [Other] ; SPIRE 18 2011 Pisa

String processing and information retrieval : 18th international symposium, SPIRE 2011, Pisa, Italy, October 17 - 21, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 7024
Cimatti, Alessandro [Author] ; Sebastiani, Roberto [Other]

Theory and Applications of Satisfiability Testing – SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Published in: Lecture notes in computer science ; 7317
Ghilardi, Silvio [Author] ; Sebastiani, Roberto [Other]

Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5749
Grossi, Roberto [Author] ; Sebastiani, Fabrizio [Other]; Silvestri, Fabrizio [Other]

String Processing and Information Retrieval : 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 7024
Galmiche, Didier [Editor]; Schulz, Stephan [Editor]; Sebastiani, Roberto [Editor]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2018

Published in: Lecture notes in computer science ; 1090000
Masina, Gabriele [Author]; Spallitta, Giuseppe [Author]; Sebastiani, Roberto [Author] ; Gabriele Masina and Giuseppe Spallitta and Roberto Sebastiani [Contributor]

On CNF Conversion for Disjoint SAT Enumeration

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Möhle, Sibylle [Author]; Sebastiani, Roberto [Author]; Biere, Armin [Author]

Four flavors of entailment

View online
Schließen

Links

https://freidok.uni-freiburg.de/data/239383

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2020

Published in: ISBN: 978-3-030-51825-7 ; ISSN: 1611-3349
Dottarelli, Roberto [Author]; Giardino, Claudio [Author]; Moscetta, Maria Paola [Author]; Parenti, F. [Author]; Sebastiani, Renato [Author]; Veloci, Giovanni [Author]; Vitagliano, S. [Author]

Perspectives dans l'environnement urbain : le cas romain

View online
Schließen

Access

https://www.persee.fr/doc/nda_0242-7702_1986_num_24_1_1659

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Published in: Les Nouvelles de l'archéologie ; Vol. 24, n° 1, pp. 53-61
Sebastiani, Roberto

Automated Reasoning: Colors Make Theories Hard

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Automated Reasoning
Sebastiani, Roberto

Lazy Satisfiability Modulo Theories

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2007

Published in: Journal on Satisfiability, Boolean Modeling and Computation
Trentin, Patrick; Sebastiani, Roberto

Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2021

Published in: Journal of Automated Reasoning
Sebastiani, Roberto; Trentin, Patrick

OptiMathSAT: A Tool for Optimization Modulo Theories

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2020

Published in: Journal of Automated Reasoning
Trentin, Patrick; Sebastiani, Roberto

Lecture Notes in Computer Science: Optimization Modulo the Theory of Floating-Point Numbers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2019

Published in: Lecture Notes in Computer Science
Sebastiani, Roberto; Trentin, Patrick

Tools and Algorithms for the Construction and Analysis of Systems: On Optimization Modulo Theories, MaxSMT and Sorting Networks

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2017

Published in: Tools and Algorithms for the Construction and Analysis of Systems
Sebastiani, Roberto; Trentin, Patrick

Computer Aided Verification: OptiMathSAT: A Tool for Optimization Modulo Theories

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Computer Aided Verification
Sebastiani, Roberto; Tomasi, Silvia

Optimization Modulo Theories with Linear Rational Costs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2015

Published in: ACM Transactions on Computational Logic
Sebastiani, Roberto; Tomasi, Silvia

Automated Reasoning: Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Automated Reasoning
Sebastiani, Roberto; Vescovi, Michele

Automated Deduction – CADE-22: Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Automated Deduction – CADE-22
Cook, Byron; Sebastiani, Roberto

Preface and Foreword

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2007

Published in: Electronic Notes in Theoretical Computer Science

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication