TY  -  
T1  - Enumerating Potential Maximal Cliques via SAT and ASP 
SN  -  /  
UR  - http://hdl.handle.net/10138/309453 
T3  -  
A1  - Korhonen, Tuukka; Berg, Jeremias; Järvisalo, Matti 
A2  - Kraus, Sarit 
PB  - International Joint Conferences on Artifical Intelligence 
Y1  - 2019 
LA  - eng 
AB  - ... 
VO  -  
IS  -  
SP  -  
OP  -  
KW  - 113 Computer and information sciences 
N1  -   
PP  -  
ER  -