These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

112 related articles for article (PubMed ID: 35068630)

  • 1. Proof Complexity of Modal Resolution.
    Sigley S; Beyersdorff O
    J Autom Reason; 2022; 66(1):1-41. PubMed ID: 35068630
    [TBL] [Abstract][Full Text] [Related]  

  • 2. A precondition prover for analogy.
    Bledsoe WW
    Biosystems; 1995; 34(1-3):225-47. PubMed ID: 7727701
    [TBL] [Abstract][Full Text] [Related]  

  • 3. The Higher-Order Prover Leo-II.
    Benzmüller C; Sultana N; Paulson LC; Theiß F
    J Autom Reason; 2015; 55(4):389-404. PubMed ID: 30174358
    [TBL] [Abstract][Full Text] [Related]  

  • 4. The Cantor-Bernstein theorem: how many proofs?
    Sieg W
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968
    [TBL] [Abstract][Full Text] [Related]  

  • 5. New Tools and Connections for Exponential-Time Approximation.
    Bansal N; Chalermsook P; Laekhanukit B; Nanongkai D; Nederlof J
    Algorithmica; 2019; 81(10):3993-4009. PubMed ID: 31496549
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A Comprehensive Framework for Saturation Theorem Proving.
    Waldmann U; Tourret S; Robillard S; Blanchette J
    J Autom Reason; 2022; 66(4):499-539. PubMed ID: 36353684
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.
    Schlaipfer M; Weissenbacher G
    J Autom Reason; 2016; 57(1):3-36. PubMed ID: 30174360
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Strong Extension-Free Proof Systems.
    Heule MJH; Kiesl B; Biere A
    J Autom Reason; 2020; 64(3):533-554. PubMed ID: 32226181
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Proof simplification and automated theorem proving.
    Kinyon M
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180034. PubMed ID: 30966970
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Building Strategies into QBF Proofs.
    Beyersdorff O; Blinkhorn J; Mahajan M
    J Autom Reason; 2021; 65(1):125-154. PubMed ID: 33487785
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Monotone Circuit Lower Bounds from Robust Sunflowers.
    Cavalar BP; Kumar M; Rossman B
    Algorithmica; 2022; 84(12):3655-3685. PubMed ID: 36465838
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Granularity analysis for mathematical proofs.
    Schiller MR
    Top Cogn Sci; 2013 Apr; 5(2):251-69. PubMed ID: 23460420
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Redundancy in distributed proofs.
    Feuilloley L; Fraigniaud P; Hirvonen J; Paz A; Perry M
    Distrib Comput; 2021; 34(2):113-132. PubMed ID: 34720290
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Prolegomena to any theory of proof simplicity.
    Pambuccian V
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180035. PubMed ID: 30966971
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Formalization of bond graph using higher-order-logic theorem proving.
    Qasim U; Rashid A; Hasan O
    ISA Trans; 2022 Sep; 128(Pt B):453-469. PubMed ID: 34972543
    [TBL] [Abstract][Full Text] [Related]  

  • 16. The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem.
    Straßburger L
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180038. PubMed ID: 30966973
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Formal reasoning about systems biology using theorem proving.
    Rashid A; Hasan O; Siddique U; Tahar S
    PLoS One; 2017; 12(7):e0180179. PubMed ID: 28671950
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Extraction of Expansion Trees.
    Leitsch A; Lolic A
    J Autom Reason; 2019; 62(3):393-430. PubMed ID: 30862992
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Stochastic quasi-gradient methods: variance reduction via Jacobian sketching.
    Gower RM; Richtárik P; Bach F
    Math Program; 2021; 188(1):135-192. PubMed ID: 34720193
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Identification of proofs via syzygies.
    Malheiro A; Reis JF
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180275. PubMed ID: 30966976
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.