%0 Conference Paper %1 conf/ijcai/KorhonenBJ19 %A Korhonen, Tuukka %A Berg, Jeremias %A Järvisalo, Matti %B IJCAI %D 2019 %E Kraus, Sarit %I ijcai.org %K dblp %P 1116-1122 %T Enumerating Potential Maximal Cliques via SAT and ASP. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#KorhonenBJ19

@inproceedings{conf/ijcai/KorhonenBJ19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Korhonen, Tuukka and Berg, Jeremias and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/29fa3793c2a3d11069040bb733f8d705c/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2019}, editor = {Kraus, Sarit}, ee = {https://doi.org/10.24963/ijcai.2019/156}, interhash = {136712bb27a0607d9fec22c307556395}, intrahash = {9fa3793c2a3d11069040bb733f8d705c}, keywords = {dblp}, pages = {1116-1122}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:29:22.000+0200}, title = {Enumerating Potential Maximal Cliques via SAT and ASP.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#KorhonenBJ19}, year = 2019 }