Ruben Martins

Available identifiers

zbMath Open martins.rubenMaRDI QIDQ487633

List of research outcomes

Publication	Date of Publication	Type
Automated mathematical discovery and verification: minimizing pentagons in the plane	2024-12-04	Paper
UpMax: user partitioning for MaxSAT	2024-11-26	Paper
Certified CNF translations for pseudo-Boolean solving	2024-07-12	Paper
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT	2021-12-09	Paper
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving	2021-12-09	Paper
Incremental bounded model checking for embedded software	2017-11-29	Paper
Component-based synthesis for complex APIs	2017-10-20	Paper
Automatic Generation of Propagation Complete SAT Encodings	2016-03-23	Paper
Exploiting Resolution-Based Representations for MaxSAT Solving	2015-11-20	Paper
An overview of parallel SAT solving	2015-01-22	Paper
Open-WBO: A Modular MaxSAT Solver,	2014-09-26	Paper
Community-Based Partitioning for MaxSAT Solving	2013-08-05	Paper
Improving Unsatisfiability-Based Algorithms for Boolean Optimization	2010-09-29	Paper

Research outcomes over time

This page was built for person: Ruben Martins