An optimization approach for the satisfiability problem

Autor: Noureddine, S.
Zdroj: In Applied Computing and Informatics January 2015 11(1):47-59
Databáze: ScienceDirect