We stand with Ukraine  

Marek Danco

Orcid: 0009-0008-3031-113X

According to our database1, Marek Danco authored at least 4 papers between 2025 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols.
[BibTeX]
[DOI]
Stefan Ratschan
,
Anggha Nugraha
,
Mikolás Janota
,
Marek Danco
CoRR, February, 2026

2025
Complete Symmetry Breaking for Finite Models.
[BibTeX]
[DOI]
Marek Danco
,
Mikolás Janota
,
Michael Codish
,
João Araújo
CoRR, February, 2025

From MBQI to Enumerative Instantiation and Back.
[BibTeX]
[DOI]
Marek Danco
,
Petra Hozzová
,
Mikolás Janota
Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Complete Symmetry Breaking for Finite Models.
[BibTeX]
[DOI]
Marek Danco
,
Mikolás Janota
,
Michael Codish
,
João Jorge Araújo
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025


  Loading...