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