most citedInformation in propositional proofs and algorithmic proof search

5 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

2 papers

cs.CC2021★ 5 cited

Information in propositional proofs and algorithmic proof search

Jan Krajicek

We study from the proof complexity perspective the (informal) proof search problem: Is there an optimal way to search for propositional proofs? We note that for any fixed proof sys…

math.AT2013

Universal deformation formulas

Elisabeth Remm, Martin Markl

We give a conceptual explanation of universal deformation formulas for unital associative algebras and prove some results on the structure of their moduli spaces. We then generaliz…