Login / Signup

Symbolic computation of strongly connected components and fair cycles using saturation.

Yang ZhaoGianfranco Ciardo
Published in: Innov. Syst. Softw. Eng. (2011)
Keyphrases
  • strongly connected components
  • connected components
  • shortest path
  • argumentation semantics
  • variable ordering
  • max sat
  • three dimensional
  • np complete
  • orders of magnitude
  • closed contours