Margarita Korovina

Identifiers

• name variant Margarita Korovina 0.50 · backfill

Papers (2)

1. A CDCL-style calculus for solving non-linear constraints cs.LO · 2019 · author #3
2. The Rice-Shapiro theorem in Computable Topology cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Franz Brau{\ss}e 1 shared papers
• Konstantin Korovin 1 shared papers
• Norbert Th. M\"uller 1 shared papers
• Oleg Kudinov 1 shared papers