Index of /current_tree/basics/SAT

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 truth1.tex              2020-07-05 19:43  1.5K  
 picosat.tex             2021-03-20 21:29  295   
 main.tex                2021-03-20 21:29  518   
 list.tex                2022-04-16 19:22  3.7K  
 adder_logisim.png       2020-07-05 19:43  2.2K  
 adder.cnf               2020-07-05 19:43   38   
 MaxSAT.tex              2021-03-20 21:29  1.0K  
 Knuth/                  2022-04-16 19:24    -   
 CNF.tex                 2021-04-25 01:29  1.3K  
 2bit.tex                2021-04-25 01:29  7.6K