A COMPILATION OF SUCCINCTNESS RESULTS FOR ARITHMETIC CIRCUITS

von Colnet, Alexis De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints

von Colnet, Alexis de
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

von Colnet, Alexis de
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)