'On the Satisfiability of Random k-Horn Formulae' was published in which year?
The paper 'On the Satisfiability of Random k-Horn Formulae' was published in which year?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/conf/dimacs/Istrate01> <https://dblp.org/rdf/schema#yearOfPublication> ?answer }
<https://dblp.org/rec/conf/dimacs/Istrate01>