BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Roberto Sebastiani
SearchCollections
Map detail
Roberto Sebastiani13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRoberto SebastianiARoberto SebastianiResearcherAre You Satisfied by This Partial Assignment?WAre You Satisfied by Th...preprint / 2020Optimization in SMT with LA(Q) Cost FunctionsWOptimization in SMT wit...preprint / 2012Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-SatisfiabilityWAutomated Reasoning in ...preprint / 2014Optimization Modulo Theories with Linear Rational CostsWOptimization Modulo The...preprint / 2014Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost FunctionsWPushing the envelope of...preprint / 2015Hybrid SRL with Optimization Modulo TheoriesWHybrid SRL with Optimiz...preprint / 2014Structured Learning Modulo TheoriesWStructured Learning Mod...preprint / 2014Requirements Evolution and Evolution Requirements with Constrained Goal ModelsWRequirements Evolution ...preprint / 2016From MiniZinc to Optimization Modulo Theories, and Back (Extended Version)WFrom MiniZinc to Optimi...preprint / 2020Computing Small Unsatisfiable Cores in Satisfiability Modulo TheoriesWComputing Small Unsatis...preprint / 2014Efficient Interpolant Generation in Satisfiability Modulo Linear Integer ArithmeticWEfficient Interpolant G...preprint / 2012SMT-based Weighted Model Integration with Structure AwarenessWSMT-based Weighted Mode...preprint / 2022
Person12 links

Roberto Sebastiani

Researcher

PaperAre You Satisfied by This Partial Assignment?Authorship / preprint / 2020PaperOptimization in SMT with LA(Q) Cost FunctionsAuthorship / preprint / 2012PaperAutomated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-SatisfiabilityAuthorship / preprint / 2014PaperOptimization Modulo Theories with Linear Rational CostsAuthorship / preprint / 2014PaperPushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost FunctionsAuthorship / preprint / 2015PaperHybrid SRL with Optimization Modulo TheoriesAuthorship / preprint / 2014PaperStructured Learning Modulo TheoriesAuthorship / preprint / 2014PaperRequirements Evolution and Evolution Requirements with Constrained Goal ModelsAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)