Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evaluating CDCL Variable Scoring Schemes., and . SAT, volume 9340 of Lecture Notes in Computer Science, page 405-422. Springer, (2015)Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)., , , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 317-332. Springer, (2014)Keep It Simple: Evaluating Local Search-Based Latent Space Editing., , and . SN Comput. Sci., 4 (6): 820 (November 2023)XOR Local Search for Boolean Brent Equations., , , , and . SAT, volume 12831 of Lecture Notes in Computer Science, page 417-435. Springer, (2021)Keep It Simple: Local Search-based Latent Space Editing., , and . IJCCI, page 273-283. SCITEPRESS, (2022)On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width., , and . SMT@IJCAR, volume 20 of EPiC Series in Computing, page 44-56. EasyChair, (2012)More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding., , and . CSR, volume 7913 of Lecture Notes in Computer Science, page 378-390. Springer, (2013)Ultra Wideband 43 GHz Preamplifier with up to 60 dB adjustable Gain for accurate Noise Figure Measurement of Cryogenic LNAs., , , , , and . ICECS, page 1-2. IEEE, (2021)Stochastic Local Search for Satisfiability Modulo Theories., , , and . AAAI, page 1136-1143. AAAI Press, (2015)Evaluating CDCL Restart Schemes., and . POS@SAT, volume 59 of EPiC Series in Computing, page 1-17. EasyChair, (2018)