Extending modern SAT solvers for models enumeration | IEEE Conference Publication | IEEE Xplore