Travelled to:1 × France
1 × USA
Collaborated with:R.Castaño ∅
Talks about:proposit (1) approach (1) variabl (1) satisfi (1) languag (1) global (1) order (1) index (1) claus (1) pars (1)
Person: José M. Castaño
DBLP: Casta=ntilde=o:Jos=eacute=_M=
Contributed to:
20112003Wrote 2 papers:
- CIAA-2011-CastanoC #approach #satisfiability
- Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability (JMC, RC), pp. 76–87.
- CIAA-2003-Castano #lr #parsing
- LR Parsing for Global Index Languages (GILs) (JMC), pp. 269–281.