home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / ai / 4705 < prev    next >
Encoding:
Internet Message Format  |  1992-12-28  |  543 b 
  1. Xref: sparky comp.ai:4705 comp.theory:2762
  2. Newsgroups: comp.ai,comp.theory
  3. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!destroyer!wsu-cs!isis.cs.wayne.edu!qiy
  4. From: qiy@isis.cs.wayne.edu (Qiuen Yu)
  5. Subject: info. request about the non-tautology and satisfiability problems
  6. Message-ID: <1992Dec28.153911.26390@cs.wayne.edu>
  7. Keywords: non-tautology satisfiability
  8. Sender: usenet@cs.wayne.edu (Usenet News)
  9. Organization: Wayne State University, Detroit
  10. Date: Mon, 28 Dec 1992 15:39:11 GMT
  11. Lines: 4
  12.  
  13. eference questions 
  14.  
  15.  
  16.    
  17.