Complexity of Constraints المزيد من كتب Nadia Creignou, Phokion G. Kolaitis & Heribert Vollmer

Theory and Applications of Satisfiability Testing – SAT 2016

٢٠١٦