Ruben Martins
According to our database1,
Ruben Martins
authored at least 39 papers
between 2010 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2019
Trinity: An Extensible Synthesis Framework for Data Science.
PVLDB, 2019
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.
J. Satisf. Boolean Model. Comput., 2019
MaxSAT Evaluation 2018: New Developments and Detailed Results.
J. Satisf. Boolean Model. Comput., 2019
Reflections on "Incremental Cardinality Constraints for MaxSAT".
CoRR, 2019
Maximal multi-layer specification synthesis.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Encodings for Enumeration-Based Program Synthesis.
Proceedings of the Principles and Practice of Constraint Programming, 2019
An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks.
Proceedings of the Artificial Intelligence Research and Development, 2019
2018
Program synthesis using conflict-driven learning.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Learning-Sensitive Backdoors with Restarts.
Proceedings of the Principles and Practice of Constraint Programming, 2018
The Effect of Structural Measures and Merges on SAT Solver Performance.
Proceedings of the Principles and Practice of Constraint Programming, 2018
Approximation Strategies for Incomplete MaxSAT.
Proceedings of the Principles and Practice of Constraint Programming, 2018
Parallel Maximum Satisfiability.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
Incremental bounded model checking for embedded software.
Formal Asp. Comput., 2017
Relating Complexity-theoretic Parameters with SAT Solver Performance.
CoRR, 2017
Component-based synthesis for complex APIs.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Component-based synthesis of table consolidation and transformation tasks from examples.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017
2016
Type-Directed Code Reuse using Integer Linear Programming.
CoRR, 2016
Automatic Generation of Propagation Complete SAT Encodings.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Hunter: next-generation code reuse for Java.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
2015
Improving linear search algorithms with model-based approaches for MaxSAT solving.
J. Exp. Theor. Artif. Intell., 2015
Deterministic Parallel MaxSAT Solving.
International Journal on Artificial Intelligence Tools, 2015
Parallel search for maximum satisfiability.
Constraints, 2015
From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles.
Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015
Exploiting Resolution-Based Representations for MaxSAT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Successful Use of Incremental BMC in the Automotive Industry.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2015
2014
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving.
J. Satisf. Boolean Model. Comput., 2014
Incremental Bounded Model Checking for Embedded Software (extended version).
CoRR, 2014
Open-WBO: A Modular MaxSAT Solver, .
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Incremental Cardinality Constraints for MaxSAT.
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
Community-Based Partitioning for MaxSAT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
2012
An overview of parallel SAT solving.
Constraints, 2012
Parallel search for maximum satisfiability.
AI Commun., 2012
Clause Sharing in Parallel MaxSAT.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
On Partitioning for Maximum Satisfiability.
Proceedings of the ECAI 2012, 2012
2011
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
2010
Improving Unsatisfiability-Based Algorithms for Boolean Optimization.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Improving Search Space Splitting for Parallel SAT Solving.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010