-
18th International Conference on Theory and Applications of Satisfiability Testing
-
2015-09-24 ~ 27
United States .
-
-
Computer Science & EngineeringElectrical and Electronics EngineeringComputer Science, Artificial IntelligenceInformation Technology & Communications Systems