output
20112024
most citedSampling Techniques in Bayesian Finite Element Model Updating

10 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
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2013★ 1 cited

Hardness measures and resolution lower bounds

Olaf Beyersdorff, Oliver Kullmann

Various "hardness" measures have been studied for resolution, providing theoretical insight into the proof complexity of resolution and its fragments, as well as explanations for t…