Extending modern SAT solvers for models enumeration.

Saïd Jabbour Jerry Lonlac Lakhdar Sais Yakoub Salhi

Published in: IRI (2014)

Keyphrases

sat solvers
search space
search algorithm
constraint satisfaction
search engine
search tree
sat solving
information retrieval systems
logic programs