BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Casta=ntilde=o:Rodrigo

Contributed to:

CIAA 20112011
ASE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.