Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm
Mark Alan Junho Song
L. Zarate
Sergio Vale Aguiar Campos
Luis Enrique Zárate Gálvez
Campos Sérgio Vale AGUIAR