Inproceedings,

Parameterised Complexity of Abduction in Schaefer's Framework

, , and .
Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings, page 195--213. (2020)

Meta data

Tags

Users

  • @dice-research
  • @dblp

Comments and Reviews