Search (1 results, page 1 of 1)

  • × type_ss:"a"
  • × author_ss:"Schaub, T."
  1. Kaminski, R.; Schaub, T.; Wanko, P.: ¬A tutorial on hybrid answer set solving with clingo (2017) 1.00 
    1.0 = *:*, product of:
  1.0 = boost
  1.0 = queryNorm