The SCEAS System
Navigation Menu

Search the dblp DataBase


Renato Bruni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002