
Search the dblp DataBase
Renato Bruni:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Renato Bruni, Antonio Sassano
Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. [Citation Graph (0, 0)][DBLP] CP, 2000, pp:495499 [Conf]
 Renato Bruni, Antonio Sassano
Errors Detection and Correction in Large Scale Data Collecting. [Citation Graph (0, 0)][DBLP] IDA, 2001, pp:8494 [Conf]
 Renato Bruni
Solving Error Correction for Large Data Sets by Means of a SAT Solver. [Citation Graph (0, 0)][DBLP] SAT, 2003, pp:229241 [Conf]
 Renato Bruni, Andrea Santori
Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. [Citation Graph (0, 0)][DBLP] SAT, 2004, pp: [Conf]
 Renato Bruni
On exact selection of minimally unsatisfiable subformulae. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2005, v:43, n:1, pp:3550 [Journal]
 Renato Bruni
Approximating minimal unsatisfiable subformulae by means of adaptive core search. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2003, v:130, n:2, pp:85100 [Journal]
 Renato Bruni
Discrete models for data imputation. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2004, v:144, n:12, pp:5969 [Journal]
 Renato Bruni, Antonio Sassano
A Complete Adaptive Algorithm for Propositional Satisfiability. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2003, v:127, n:3, pp:523534 [Journal]
 Renato Bruni
On the orthogonalization of arbitrary Boolean formulae. [Citation Graph (0, 0)][DBLP] JAMDS, 2005, v:9, n:2, pp:6174 [Journal]
Search in 0.002secs, Finished in 0.003secs
