Travelled to:1 × France
Collaborated with:J.M.Castaño V.A.Braberman D.Garbervetsky S.Uchitel
Talks about:proposit (1) approach (1) variabl (1) satisfi (1) checker (1) report (1) execut (1) order (1) model (1) claus (1)
Person: Rodrigo Castaño
DBLP: Casta=ntilde=o:Rodrigo
Contributed to:
2011
2017Wrote 2 papers:
- CIAA-2011-CastanoC #approach #satisfiability
- Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability (JMC, RC), pp. 76–87.
- ASE-2017-CastanoBGU #execution #model checking
- Model checker execution reports (RC, VAB, DG, SU), pp. 200–205.