Searching for authors named "Renato Bruni" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Satisfiability Techniques for Questionnaires Errors Detection
- …Satisfiability Techniques for Questionnaires Errors Detection Renato Bruni § December 20, 1999…
- Add To MetaCart
-
Approximating Minimal Unsatisfiable Subformulae by Means of Adaptive Core Search
- …Approximating Minimal Unsatisfiable Subformulae by means of Adaptive Core Search Renato Bruni…
- Cited by 9 (1 self) – Add To MetaCart
-
On Exact Selection of Minimally Unsatisfiable Subformulae
- …On Exact Selection of Minimally Unsatisfiable Subformulae Renato Bruni (bruni@(email omitted);…
- Cited by 5 (0 self) – Add To MetaCart
-
Error Correction for Massive Datasets
- …Error Correction for Massive Data Sets ∗ Renato Bruni Università diRoma“LaSapienza”-D.I.S. Via M…
- Cited by 2 (0 self) – Add To MetaCart
-
Solving Peptide Sequencing as Satisfiability 1
- …Solving Peptide Sequencing as Satisfiability 1 Renato Bruni Dip. di Ingegneria Elettronica e dell…
- Add To MetaCart
-
A Combinatorial Optimization Approach for Determining Composition and Sequence of Polymers ∗
- … ∗ Renato Bruni Dep. of Electronic and Information Engineering, University of Perugia, Via G. Duranti, 93…
- Add To MetaCart
-
CLAS: a Complete Learning Algorithm for Propositional Satisfiabilty
- …a Complete Learning Algorithm for CLAS: Satisfiability propositional Renato Bruni ‡ and Antonio…
- Add To MetaCart
-
A Complete Adaptive Algorithm for Propositional Satisfiability
- …ACompleteAdaptiveAlgorithmfor PropositionalSatis¯ability RenatoBruni z andAntonioSassano x…
- Cited by 1 (1 self) – Add To MetaCart
-
Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances
- …FindingMinimalUnsatis¯ableSubformulaein Satis¯abilityinstances Renato Bruni and Antonio Sassano…
- Cited by 4 (3 self) – Add To MetaCart
-
Errors Detection and Correction in Large Scale Data Collecting
- …Errors Detection and Correction in Large Scale Data Collecting Renato Bruni and Antonio Sassano…
- Cited by 10 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
