| DeepData: Machine learning in the marine ecosystems | 0 | 0.34 | 2022 |
| Replication of SOAR: A Synthesis Approach for Data Science API Refactoring | 0 | 0.34 | 2021 |
| SOAR: A Synthesis Approach for Data Science API Refactoring | 0 | 0.34 | 2021 |
| SQUARES: a SQL synthesizer using query reverse engineering | 1 | 0.35 | 2020 |
| UnchartIt: an interactive framework for program recovery from charts | 0 | 0.34 | 2020 |
| Virtual machine consolidation using constraint-based multi-objective optimization | 1 | 0.34 | 2019 |
| Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. | 0 | 0.34 | 2018 |
| On Incremental Core-Guided Maxsat Solving | 2 | 0.36 | 2016 |
| DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability | 0 | 0.34 | 2015 |
| Community-Based partitioning for MaxSAT solving | 11 | 0.60 | 2013 |
| Parallel search for maximum satisfiability | 4 | 0.40 | 2012 |
| Clause sharing in parallel MaxSAT | 3 | 0.39 | 2012 |
| An overview of parallel SAT solving | 27 | 0.98 | 2012 |
| Exploiting Cardinality Encodings in Parallel Maximum Satisfiability | 4 | 0.43 | 2011 |
| DFT and minimum leakage pattern generation for static power reduction during test and burn-in | 1 | 0.37 | 2010 |
| Algorithms for Weighted Boolean Optimization | 49 | 2.12 | 2009 |
| Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization | 1 | 0.37 | 2009 |
| Towards more effective unsatisfiability-based maximum satisfiability algorithms | 26 | 1.24 | 2008 |
| Guest Editors Conclusion | 1 | 0.42 | 2008 |
| Symmetry Breaking for Maximum Satisfiability | 4 | 0.43 | 2008 |
| Prime Implicant Computation Using Satisfiability Algorithms | 35 | 1.72 | 1997 |
