The Cold War. TO INCREASE MILITARY DEFENSE NATO & THE WARSAW PACT=
1 Satisfiability Checking of Non-clausal Formulas using General Matings Himanshu Jain Constantinos Bartzis Edmund Clarke Carnegie Mellon University.