dblp.uni-trier.dewww.uni-trier.de

Renato Bruni

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12EERenato Bruni, Andrea Santori: New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability. Discrete Optimization 5(3): 569-583 (2008)
2007
11EERenato Bruni: Reformulation of the support set selection problem in the logical analysis of data. Annals OR 150(1): 79-92 (2007)
2005
10EERenato Bruni: On exact selection of minimally unsatisfiable subformulae. Ann. Math. Artif. Intell. 43(1): 35-50 (2005)
9EERenato Bruni: On the orthogonalization of arbitrary Boolean formulae. JAMDS 9(2): 61-74 (2005)
2004
8EERenato Bruni, Andrea Santori: Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. SAT 2004
7EERenato Bruni: Discrete models for data imputation. Discrete Applied Mathematics 144(1-2): 59-69 (2004)
2003
6EERenato Bruni: Solving Error Correction for Large Data Sets by Means of a SAT Solver. SAT 2003: 229-241
5EERenato Bruni, Antonio Sassano: A Complete Adaptive Algorithm for Propositional Satisfiability. Discrete Applied Mathematics 127(3): 523-534 (2003)
4EERenato Bruni: Approximating minimal unsatisfiable subformulae by means of adaptive core search. Discrete Applied Mathematics 130(2): 85-100 (2003)
2001
3EERenato Bruni, Antonio Sassano: Errors Detection and Correction in Large Scale Data Collecting. IDA 2001: 84-94
2EERenato Bruni, Antonio Sassano: Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae. Electronic Notes in Discrete Mathematics 9: 162-173 (2001)
2000
1EERenato Bruni, Antonio Sassano: Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. CP 2000: 495-499

Coauthor Index

1Andrea Santori [8] [12]
2Antonio Sassano [1] [2] [3] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)