Travelled to:1 × Portugal
1 × USA
Collaborated with:A.Biere C.Sinz D.Kröning C.M.Wintersteiger
Talks about:proof (2) resolut (1) quantif (1) checker (1) toward (1) symbol (1) extend (1) unifi (1) first (1) step (1)
Person: Toni Jussila
DBLP: Jussila:Toni
Contributed to:
20072006Wrote 2 papers:
- SAT-2007-JussilaBSKW #proving #towards
- A First Step Towards a Unified Proof Checker for QBF (TJ, AB, CS, DK, CMW), pp. 201–214.
- SAT-2006-JussilaSB #proving #quantifier #satisfiability
- Extended Resolution Proofs for Symbolic SAT Solving with Quantification (TJ, CS, AB), pp. 54–60.