Travelled to:1 × Italy
2 × USA
Collaborated with:∅ A.Sassano
Talks about:unsatisfi (3) subformula (2) proposit (1) maintain (1) special (1) satisfi (1) formula (1) correct (1) solver (1) select (1)
Person: Renato Bruni
DBLP: Bruni:Renato
Contributed to:
200320022001Wrote 3 papers:
- SAT-2003-Bruni #fault #satisfiability #scalability #set
- Solving Error Correction for Large Data Sets by Means of a SAT Solver (RB), pp. 229–241.
- SAT-2002-Bruni #satisfiability
- Exact selection of minimal unsatisfiable subformulae for special classes of propositional formulae (RB), p. 22.
- SAT-2001-BruniS #maintenance #satisfiability
- Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae (RB, AS), pp. 162–173.