Travelled to:1 × United Kingdom
Collaborated with:E.Altamirano
Talks about:tractabl (1) formula (1) find (1) nnf (1)
Person: Gonzalo Escalada-Imaz
DBLP: Escalada-Imaz:Gonzalo
Contributed to:
Wrote 1 papers:
- CL-2000-AltamiranoE
- Finding Tractable Formulas in NNF (EA, GEI), pp. 493–507.












