Synthesis and Analysis of Petri Nets from Causal Specifications

von Oliveira, Mateus de Oliveira
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

From Width-Based Model Checking to Width-Based Automated Theorem Proving

von Oliveira, Mateus de Oliveira
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

On the Fine Grained Complexity of Finite Automata Non-emptiness of Intersection

von Oliveira, Mateus de Oliveira
Veröffentlicht in DLT (24. : 2020 : Tampa, Fla.) Developments in language theory (2020)

Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms

von Lingg, Jonas
Veröffentlicht in IWOCA (33. : 2022 : Trier) Combinatorial algorithms (2022)

SYMBOLIC SOLUTIONS FOR SYMBOLIC CONSTRAINT SATISFACTION PROBLEMS

von Melo, Alexsander Andrade De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Second-Order Finite Automata

von Melo, Alexsander Andrade de
Veröffentlicht in International Computer Science Symposium (15. : 2020 : Online) Computer science - theory and applications (2020)

UNITARY BRANCHING PROGRAMS: LEARNABILITY AND LOWER BOUNDS

von ANDINO, FIDEL ERNESTO DÍAZ
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 1 of 16 (2022)

Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity

von Alves, Mateus Rodrigues
Veröffentlicht in COCOON (26. : 2020 : Online) Computing and combinatorics (2020)