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