| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 17 |      | Renato Bruni: Mathematical Approaches to Polymer Sequence Analysis and Related Problems Springer 2011 |
| 16 | | Renato Bruni: Complete and Exact Peptide Sequence Analysis Based on Propositional Logic. Mathematical Approaches to Polymer Sequence Analysis and Related Problems 2011: 1-22 |
| 2010 | ||
| 15 | | Renato Bruni: A Logic-Based Approach to Polymer Sequence Analysis. J. Math. Model. Algorithms 9(3): 213-232 (2010) |
| 2008 | ||
| 14 | | Renato Bruni: A Combinatorial Optimization Approach for Determining Composition and Sequence of Polymers. Algorithmic Operations Research 3(2): (2008) |
| 13 | | Renato Bruni: Solving peptide sequencing as satisfiability. Computers & Mathematics with Applications 55(5): 912-923 (2008) |
| 12 | | Renato Bruni, Andrea Santori: New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability. Discrete Optimization 5(3): 569-583 (2008) |
| 2007 | ||
| 11 | | Renato Bruni: Reformulation of the support set selection problem in the logical analysis of data. Annals OR 150(1): 79-92 (2007) |
| 2005 | ||
| 10 | | Renato Bruni: On exact selection of minimally unsatisfiable subformulae. Ann. Math. Artif. Intell. 43(1): 35-50 (2005) |
| 9 | | Renato Bruni: On the orthogonalization of arbitrary Boolean formulae. JAMDS 9(2): 61-74 (2005) |
| 2004 | ||
| 8 | | Renato Bruni, Andrea Santori: Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. SAT 2004 |
| 7 | | Renato Bruni: Discrete models for data imputation. Discrete Applied Mathematics 144(1-2): 59-69 (2004) |
| 2003 | ||
| 6 | | Renato Bruni: Solving Error Correction for Large Data Sets by Means of a SAT Solver. SAT 2003: 229-241 |
| 5 | | Renato Bruni, Antonio Sassano: A Complete Adaptive Algorithm for Propositional Satisfiability. Discrete Applied Mathematics 127(3): 523-534 (2003) |
| 4 | | Renato Bruni: Approximating minimal unsatisfiable subformulae by means of adaptive core search. Discrete Applied Mathematics 130(2): 85-100 (2003) |
| 2001 | ||
| 3 | | Renato Bruni, Antonio Sassano: Errors Detection and Correction in Large Scale Data Collecting. IDA 2001: 84-94 |
| 2 | | Renato Bruni, Antonio Sassano: Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae. Electronic Notes in Discrete Mathematics 9: 162-173 (2001) |
| 2000 | ||
| 1 | | Renato Bruni, Antonio Sassano: Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. CP 2000: 495-499 |
| 1 | Andrea Santori | [8] [12] |
| 2 | Antonio Sassano | [1] [2] [3] [5] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page