Travelled to:1 × Finland
1 × Italy
2 × Spain
Collaborated with:∅ B.Das P.Scharpfenecker
Talks about:isomorph (2) resolut (2) complex (2) graph (2) combinatori (1) techniqu (1) succinct (1) space (1) separ (1) lower (1)
Person: Jacobo Torán
DBLP: Tor=aacute=n:Jacobo
Contributed to:
2014
2013
1999
1989Wrote 4 papers:
- LATA-2014-DasST #encoding #graph #morphism
- Succinct Encodings of Graph Isomorphism (BD, PS, JT), pp. 285–296.
- SAT-2013-Toran #complexity #graph #morphism #on the
- On the Resolution Complexity of Graph Non-isomorphism (JT), pp. 52–66.
- CSL-1999-Toran #bound
- Lower Bounds for Space in Resolution (JT), pp. 362–373.
- ICALP-1989-Toran #combinator #complexity
- A Combinatorial Technique for Separating Counting Complexity Classes (JT), pp. 733–744.