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