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