Ruben Martins

According to our database1, Ruben Martins authored at least 39 papers between 2010 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

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


  Loading...