12,681 followers
@fedeadolfi @matspike I think Thagard builds on a fixed-parameter tractability result that the model is tractable provide that few constraints are negative: https://t.co/jCUxdNICoz
@fedeadolfi @matspike I think Thagard builds on a fixed-parameter tractability result that the model is tractable provide that few constraints are negative: https://t.co/jCUxdNICoz