Search (1 results, page 1 of 1)

  • × author_ss:"Kaminski, R."
  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