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