Enumerating Potential Maximal Cliques via SAT and ASP.

Tuukka Korhonen, Jeremias Berg, Matti Jrvisalo

Browse the full IJCAI paper archive.