Graph explorer

Roberto Sebastiani

Roberto Sebastiani contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapRoberto Sebastiani
13 nodes12 links
Roberto Sebastiani13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipARoberto SebastianiResearcherWAre You Satisfied by Th...preprint / 2020WOptimization in SMT wit...preprint / 2012WAutomated Reasoning in ...preprint / 2014WOptimization Modulo The...preprint / 2014WPushing the envelope of...preprint / 2015WHybrid SRL with Optimiz...preprint / 2014WStructured Learning Mod...preprint / 2014WRequirements Evolution ...preprint / 2016WFrom MiniZinc to Optimi...preprint / 2020WComputing Small Unsatis...preprint / 2014WEfficient Interpolant G...preprint / 2012WSMT-based Weighted Mode...preprint / 2022
PersonSignal 1012 links

Roberto Sebastiani

Researcher

Open