Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Ruben Martins
Researcher
PaperIncremental Cardinality Constraints for MaxSATAuthorship / preprint / 2014PaperGeneralized Totalizer Encoding for Pseudo-Boolean ConstraintsAuthorship / preprint / 2015PaperExploiting Resolution-based Representations for MaxSAT SolvingAuthorship / preprint / 2015PaperComponent-based Synthesis of Table Consolidation and Transformation Tasks from ExamplesAuthorship / preprint / 2016PaperType-Directed Code Reuse using Integer Linear ProgrammingAuthorship / preprint / 2016PaperIncremental Bounded Model Checking for Embedded Software (extended version)Authorship / preprint / 2014PaperSOAR: A Synthesis Approach for Data Science API RefactoringAuthorship / preprint / 2021