( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT.

, , и . SAT, том 10929 из Lecture Notes in Computer Science, стр. 37-53. Springer, (2018)

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.

Andreas Paxian

Stephan Paxian

Markus Paxian

Andreas Paxian

Markus Paxian

 

Другие публикации лиц с тем же именем

Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor., , , , , и . ATS, стр. 73-78. IEEE, (2021)Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support., , , , и . FDTC, стр. 25-32. IEEE, (2019)Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks., , и . ETS, стр. 1-6. IEEE, (2020)Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , и . CoRR, (2021)Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability., , , , , и . CP, том 307 из LIPIcs, стр. 4:1-4:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging., и . POS@SAT, том 3545 из CEUR Workshop Proceedings, стр. 59-71. CEUR-WS.org, (2023)Towards SAT-Based SBST Generation for RISC-V Cores., , , и . LATS, стр. 1-2. IEEE, (2021)On Preprocessing for Weighted MaxSAT., , и . VMCAI, том 12597 из Lecture Notes in Computer Science, стр. 556-577. Springer, (2021)