Search the dblp DataBase

Publications of Author

1. Renato Bruni, Antonio Sassano
   Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. [Citation Graph (0, 0)][DBLP]
   CP, 2000, pp:495-499 [Conf]
   
2. Renato Bruni, Antonio Sassano
   Errors Detection and Correction in Large Scale Data Collecting. [Citation Graph (0, 0)][DBLP]
   IDA, 2001, pp:84-94 [Conf]
   
3. Renato Bruni
   Solving Error Correction for Large Data Sets by Means of a SAT Solver. [Citation Graph (0, 0)][DBLP]
   SAT, 2003, pp:229-241 [Conf]
   
4. 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]
   
5. Renato Bruni
   On exact selection of minimally unsatisfiable subformulae. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2005, v:43, n:1, pp:35-50 [Journal]
   
6. 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:85-100 [Journal]
   
7. Renato Bruni
   Discrete models for data imputation. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 2004, v:144, n:1-2, pp:59-69 [Journal]
   
8. 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:523-534 [Journal]
   
9. Renato Bruni
   On the orthogonalization of arbitrary Boolean formulae. [Citation Graph (0, 0)][DBLP]
   JAMDS, 2005, v:9, n:2, pp:61-74 [Journal]