इसका टेक्स्ट मैसेज भेजे : Theory and applications of satisfiability testing - SAT 2012