Search (1 results, page 1 of 1)

  • × author_ss:"Wanko, P."
  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