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