The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ruben Martins" ( http://dblp.L3S.de/Authors/Ruben_Martins )

  Author page on DBLP  Author page in RDF  Community of Ruben Martins in ASPL-2

Publication years (Num. hits)
2010-2015 (22) 2016-2018 (16) 2019 (5)
Publication types (Num. hits)
article(18) incollection(1) inproceedings(24)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 44 publication records. Showing 43 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Reflections on "Incremental Cardinality Constraints for MaxSAT". Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig Trinity: An Extensible Synthesis Framework for Data Science. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Gibert, Alba Lamas, Ruben Martins, Carles Mateu, Jordi Planes An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks. Search on Bibsonomy CCIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yanju Chen, Ruben Martins, Yu Feng Maximal multi-layer specification synthesis. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho Encodings for Enumeration-Based Program Synthesis. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Prateek Kumar 0001, Ruben Martins, Sukrut Rao Approximation Strategies for Incomplete MaxSAT. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Inês Lynce, Vasco M. Manquinho, Ruben Martins Parallel Maximum Satisfiability. Search on Bibsonomy Handbook of Parallel Constraint Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig Program synthesis using conflict-driven learning. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh The Effect of Structural Measures and Merges on SAT Solver Performance. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh Learning-Sensitive Backdoors with Restarts. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Prateek Kumar 0001, Ruben Martins, Sukrut Rao Approximation Strategies for Incomplete MaxSAT. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh Relating Complexity-theoretic Parameters with SAT Solver Performance. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental bounded model checking for embedded software. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yu Feng, Ruben Martins, Yuepeng Wang 0001, Isil Dillig, Thomas W. Reps Component-based synthesis for complex APIs. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. Search on Bibsonomy NDSS The full citation details ... 2017 DBLP  BibTeX  RDF
1Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri Component-based synthesis of table consolidation and transformation tasks from examples. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Yuepeng Wang 0001, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss Type-Directed Code Reuse using Integer Linear Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Yuepeng Wang 0001, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss Hunter: next-generation code reuse for Java. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins Automatic Generation of Propagation Complete SAT Encodings. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Improving linear search algorithms with model-based approaches for MaxSAT solving. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Deterministic Parallel MaxSAT Solving. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Neves 0001, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho Exploiting Resolution-based Representations for MaxSAT Solving. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Saurabh Joshi 0001, Ruben Martins, Vasco M. Manquinho Generalized Totalizer Encoding for Pseudo-Boolean Constraints. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ruben Martins Parallel search for maximum satisfiability. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Successful Use of Incremental BMC in the Automotive Industry. Search on Bibsonomy FMICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Neves 0001, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho Exploiting Resolution-Based Representations for MaxSAT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Samuel Bucheli, Daniel Kroening, Ruben Martins, Ashutosh Natraj From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles. Search on Bibsonomy TAROS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Ruben Martins, Vasco M. Manquinho Generalized Totalizer Encoding for Pseudo-Boolean Constraints. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. Search on Bibsonomy JSAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental Bounded Model Checking for Embedded Software (extended version). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Incremental Cardinality Constraints for MaxSAT. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Open-WBO: A Modular MaxSAT Solver, . Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Incremental Cardinality Constraints for MaxSAT. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Community-Based Partitioning for MaxSAT Solving. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Parallel search for maximum satisfiability. Search on Bibsonomy AI Commun. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce An overview of parallel SAT solving. Search on Bibsonomy Constraints The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Clause Sharing in Parallel MaxSAT. Search on Bibsonomy LION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce On Partitioning for Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, Ruben Martins, Inês Lynce Improving Unsatisfiability-Based Algorithms for Boolean Optimization. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Improving Search Space Splitting for Parallel SAT Solving. Search on Bibsonomy ICTAI (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license