RPTU Universitätsbibliothek

Mail an Autor*in

Combinations of Boolean Groebner Bases and SAT Solvers (Dissertation)

Bitte geben Sie Ihre Kontaktdaten an, und wählen Sie aus, welchen der Autor*innen sie kontaktieren wollen.



 
  ______    ______   _    _     _____    ______     ______  
 /_   _//  /_   _// | |  | ||  |  ___|| |      \\  /_   _// 
   | ||     -| ||-  | |/\| ||  | ||__   |  --  //   -| ||-  
  _| ||     _| ||_  |  /\  ||  | ||__   |  --  \\   _| ||_  
 /__//     /_____// |_// \_||  |_____|| |______//  /_____// 
 `--`      `-----`  `-`   `-`  `-----`  `------`   `-----`
 


Zurück zur Frontdoor