RPTU University Library

Send mail to Author

Combinations of Boolean Groebner Bases and SAT Solvers (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



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


Back to frontdoor view