( en | de | ru )

 

Disambiguation of "Fazekas, Katalin"

Author of the publication

copydeleteadd this publication to your clipboard
A Duality-Aware Calculus for Quantified Boolean Formulas.

, , and . SYNASC, page 181-186. IEEE, (2016)

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.

Stefan Fazekas

Josef Fazekas

Borbála Fazekas

Orsolya Fazekas

György Fazekas

 

Other publications of authors with the same name

Supplementary material of submission "IPASIR-UP: User Propagators for CDCL"., , , , , and . (June 2023)Incremental Inprocessing in SAT Solving., , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 136-154. Springer, (2019)Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem., , , and . CPAIOR, volume 12296 of Lecture Notes in Computer Science, page 186-204. Springer, (2020)Certifying Incremental SAT Solving., , , and . LPAR, volume 100 of EPiC Series in Computing, page 321-340. EasyChair, (2024)On Incremental Pre-processing for SMT., and . CADE, volume 14132 of Lecture Notes in Computer Science, page 41-60. Springer, (2023)SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols., , and . FMCAD, page 152-161. IEEE, (2023)Model Checking AUTOSAR Components with CBMC., , , and . FMCAD, page 96-101. IEEE, (2021)CaDiCaL 2.0., , , , , and . CAV (1), volume 14681 of Lecture Notes in Computer Science, page 133-152. Springer, (2024)IPASIR-UP: User Propagators for CDCL., , , , , and . SAT, volume 271 of LIPIcs, page 8:1-8:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Clausal Congruence Closure., , , and . SAT, volume 305 of LIPIcs, page 6:1-6:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)