
                       ண ०!

            ଠ    襩    
㡥. ᨡ  ન.
                  ࣠樨     
ॢ SAT      ३   ணࠬ   ᯮ
믮.
     뫠 ᪥  ᢮ ணࠬ sat.c    ⮬  
 test.c.   䠩 ⥪⮢, ᠭ  ⠭⭮ C.
室 ᤥ ᫥饥.

     1.४஢ ⥪ ணࠬ  ।⠢  MS DOS
 ।⠢  UNIX.   ⮩ 楫 ᯮ ⠭⭠
ணࠬ,           設   (ᥣ
ᥭ     㯭).
     2.஢ ணࠬ  sat   ࠡ祩 ⠭樨.  
⮣ sat  test   ࠭᫨஢      
ணࠬ.  室    ணࠬ  砥    .
 ਬ:
       Show [y,n] ?:n
       Show back track [y,n] ?:n
       Random [y,n] ?:y
       Maximum variable number :100
       Average length of disjunct :5
       Average length of formula :1000
       Length=627 disj
       F is not satisfiable
       Once more[y,n] ?:y
       ...................
       Once more[y,n] ?:n
     3.   ஭   १. 
 த   ᯥਬ        室    
,  ᮮ饭.
     4. ᪮쪮      2  ५  (dead  line) ᫠
᪥    ணࠬ  sat.c  (  )        
᫥饬 :



                            - 2 -

     Prof. Dr. H. Kleine Buening
     Universitaet-GH Paderborn
     Fachbereich 17
     Mathemetik-Informatik
     Warburger Str. 100
     W-4790 Paderborn (Germany)

     Telefax: (05251) 60 3338
     E-mail: kbcsl@uni-paderborn.de

     ᫨  , 㤥   -.

      饥 ६ ⮢     PPE  (Parallel
Processing Express).   ।  ஡    ४.
  奭.  뫮     ᭨,      
  ਣ  ।.

      ⥫ ।⠢     ᮢ 
 ᭮ ⥪,    뫠   ⮢
७,     .       
⮭宦?     ⥡        襣
ୠ?

       ⤥ 筮 殮.   墠⠥  
   ௫,      㦥    孨.   
ࠡ   ࠬ   ⮫쪮 
⥮᪮ ஢.   祭        
樮 ⥬,   몠    ⮤  㯥મ⨭,
  ਢ  奭.  㬠 ⠪  ⮬,  
⨢      .

      訬 ﬨ
                                     .祢᪨



