Creating Industrial-Like SAT Instances by Clustering and Reconstruction S Burg, S Kottler, M Kaufmann Theory and Applications of Satisfiability Testing–SAT 2012, 471-472, 2012 | 10 | 2012 |
Linebased end-to-display encryption for secure documents S Burg, P Channakeshava, O Bringmann 2016 IEEE International Conference on Identity, Security and Behavior …, 2016 | 3 | 2016 |
End-to-Display Encryption: A Pixel-Domain Encryption with Security Benefit SM Burg, D Peterson, O Bringmann Proceedings of the 3rd ACM Workshop on Information Hiding and Multimedia …, 2015 | 2 | 2015 |
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. S Burg, P Heckeler, S Huster, H Eichelberger, J Behrend, J Ruf, T Kropf, ... MBMV, 193-196, 2014 | | 2014 |
provoSATeur+ glucose S Burg, O Bringmann, T Kropf SAT COMPETITION 2014, 64, 0 | | |
miniLoCeG+ Glucose S Burg, O Bringmann, T Kropf SAT COMPETITION 2014, 43, 0 | | |