Search (1 results, page 1 of 1)

  • × year_i:[2010 TO 2020}
  1. Kaminski, R.; Schaub, T.; Wanko, P.: ¬A tutorial on hybrid answer set solving with clingo (2017) 10.60 
    10.602856 = weight(author_ss:Schaub, T. in 4937) [ClassicSimilarity], result of:
  10.602856 = fieldWeight in 4937, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    10.602856 = idf(docFreq=2, maxDocs=44421)
    1.0 = fieldNorm(doc=4937)
    Author
    Schaub, T.