Which one was published first, 'Formal Verification Using Edge-Valued Binary Decision Diagrams' or 'Representing Deep Neural Networks Latent Space Geometries with Graphs'?
Between 'Formal Verification Using Edge-Valued Binary Decision Diagrams' and 'Representing Deep Neural Networks Latent Space Geometries with Graphs', which paper was published earlier?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/journals/tc/LaiPV96> <https://dblp.org/rdf/schema#yearOfPublication> ?x . <https://dblp.org/rec/journals/corr/abs-2011-07343> <https://dblp.org/rdf/schema#yearOfPublication> ?y . BIND(IF(?x < ?y, <https://dblp.org/rec/journals/tc/LaiPV96>, <https://dblp.org/rec/journals/corr/abs-2011-07343>) AS ?answer) }
<https://dblp.org/rec/journals/tc/LaiPV96> <https://dblp.org/rec/journals/corr/abs-2011-07343>