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 *

158 related articles for article (PubMed ID: 32226181)

  • 1. 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]  

  • 2. 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]  

  • 3. Too much information: Why CDCL solvers need to forget learned clauses.
    Krüger T; Lorenz JH; Wörz F
    PLoS One; 2022; 17(8):e0272967. PubMed ID: 36018865
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Clause states based configuration checking in local search for satisfiability.
    Luo C; Cai S; Su K; Wu W
    IEEE Trans Cybern; 2015 May; 45(5):1014-27. PubMed ID: 25134096
    [TBL] [Abstract][Full Text] [Related]  

  • 5. A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form.
    Zhang Z; Xu D; Zhou J
    Entropy (Basel); 2021 Mar; 23(3):. PubMed ID: 33806451
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A simplifier for propositional formulas with many binary clauses.
    Brafman RI
    IEEE Trans Syst Man Cybern B Cybern; 2004 Feb; 34(1):52-9. PubMed ID: 15369050
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.
    Zbrzezny AM; Zbrzezny A
    Sensors (Basel); 2022 Dec; 22(23):. PubMed ID: 36502252
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Applying aspiration in local search for satisfiability.
    Peng C; Xu Z; Mei M
    PLoS One; 2020; 15(4):e0231702. PubMed ID: 32324765
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Long-Distance Q-Resolution with Dependency Schemes.
    Peitl T; Slivovsky F; Szeider S
    J Autom Reason; 2019; 63(1):127-155. PubMed ID: 31105366
    [TBL] [Abstract][Full Text] [Related]  

  • 10. 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]  

  • 11. 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]  

  • 12. Shielding Probabilistically Checkable Proofs: Zero-Knowledge PCPs from Leakage Resilience.
    Weiss M
    Entropy (Basel); 2022 Jul; 24(7):. PubMed ID: 35885193
    [TBL] [Abstract][Full Text] [Related]  

  • 13. 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]  

  • 14. DNA strand displacement system running logic programs.
    Rodríguez-Patón A; Sainz de Murieta I; Sosík P
    Biosystems; 2014 Jan; 115():5-12. PubMed ID: 24211259
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Satisfiability-unsatisfiability transition in the adversarial satisfiability problem.
    Bardoscia M; Nagaj D; Scardicchio A
    Phys Rev E Stat Nonlin Soft Matter Phys; 2014 Mar; 89(3):032128. PubMed ID: 24730811
    [TBL] [Abstract][Full Text] [Related]  

  • 16. G2SAT: Learning to Generate SAT Formulas.
    You J; Wu H; Barrett C; Ramanujan R; Leskovec J
    Adv Neural Inf Process Syst; 2019 Dec; 32():10552-10563. PubMed ID: 32265581
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Non-redundant implicational base of formal context with constraints using SAT.
    Hidayat T; Ahmad A; Ngo HC
    PeerJ Comput Sci; 2024; 10():e1806. PubMed ID: 38435549
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Analog Approach to Constraint Satisfaction Enabled by Spin Orbit Torque Magnetic Tunnel Junctions.
    Wijesinghe P; Liyanagedera C; Roy K
    Sci Rep; 2018 May; 8(1):6940. PubMed ID: 29720596
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Local search methods based on variable focusing for random K-satisfiability.
    Lemoy R; Alava M; Aurell E
    Phys Rev E Stat Nonlin Soft Matter Phys; 2015 Jan; 91(1):013305. PubMed ID: 25679737
    [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 8.