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

View online
Schließen

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

View online
Schließen

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

... to E-book via DOI (Volltext)

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

... to E-book via DOI

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

... to E-book via DOI

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

... to E-book via DOI (Volltext)

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

Links

... to article via DOI

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

... to article

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

... to article

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

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 (2016), Seite 152-170
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, 3 (2007) 3-4, Seite 141-224
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, 65 (2021) 7, Seite 1071-1096
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, 64 (2020) 3, Seite 423-460
Trentin, Patrick; Sebastiani, Roberto

Lecture Notes in Computer Science: Optimization Modulo the Theory of 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 International Publishing, 2019

Published in: Lecture Notes in Computer Science (2019), Seite 550-567
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

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 (2017), Seite 231-248
Sebastiani, Roberto; Trentin, Patrick

Computer Aided Verification: 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 International Publishing, 2015

Published in: Computer Aided Verification (2015), Seite 447-454
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, 16 (2015) 2, Seite 1-43
Sebastiani, Roberto; Tomasi, Silvia

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

View online
Schließen

Access

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 (2012), Seite 484-498
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

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 (2009), Seite 84-99
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, 174 (2007) 8, Seite 3-6

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