Renato Bruni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2000–2016
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ECRTS | ILP-Based Approaches to Partitioning Recurrent Workloads Upon Heterogeneous Multiprocessors. | Sanjoy K. Baruah, Vincenzo Bonifaci, Renato Bruni, Alberto Marchetti-Spaccamela |
| 2004 | SAT | Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. | Renato Bruni, Andrea Santori |
| 2003 | SAT | Solving Error Correction for Large Data Sets by Means of a SAT Solver. | Renato Bruni |
| 2001 | IDA | Errors Detection and Correction in Large Scale Data Collecting. | Renato Bruni, Antonio Sassano |
| 2000 | CP | Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. | Renato Bruni, Antonio Sassano |