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 *

95 related articles for article (PubMed ID: 15369050)

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

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

  • 3. Uniquely Satisfiable
    Fu Z; Xu D
    Entropy (Basel); 2020 May; 22(5):. PubMed ID: 33286341
    [TBL] [Abstract][Full Text] [Related]  

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

  • 5. (1,0)-Super Solutions of (
    Fu Z; Xu D; Wang Y
    Entropy (Basel); 2020 Feb; 22(2):. PubMed ID: 33286027
    [TBL] [Abstract][Full Text] [Related]  

  • 6. The Impact of Entropy and Solution Density on Selected SAT Heuristics.
    Cohen D; Strichman O
    Entropy (Basel); 2018 Sep; 20(9):. PubMed ID: 33265802
    [TBL] [Abstract][Full Text] [Related]  

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

  • 8. A variable neighborhood Walksat-based algorithm for MAX-SAT problems.
    Bouhmala N
    ScientificWorldJournal; 2014; 2014():798323. PubMed ID: 25177732
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Study of measurement and experimental design problems associated with the step test.
    Carver RP; Winsmann FR
    J Sports Med Phys Fitness; 1970 Jun; 10(2):104-13. PubMed ID: 23914408
    [TBL] [Abstract][Full Text] [Related]  

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

  • 11. A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph.
    Chancellor N; Zohren S; Warburton PA; Benjamin SC; Roberts S
    Sci Rep; 2016 Nov; 6():37107. PubMed ID: 27857179
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Symmetric Neural Networks and Propositional Logic Satisfiability.
    Pinkas G
    Neural Comput; 1991; 3(2):282-291. PubMed ID: 31167301
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Simplifying random satisfiability problems by removing frustrating interactions.
    Ramezanpour A; Moghimi-Araghi S
    Phys Rev E Stat Nonlin Soft Matter Phys; 2006 Oct; 74(4 Pt 1):041105. PubMed ID: 17155020
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Symmetry Breaking for Voting Mechanisms.
    Sankineni P; Sutton AM
    Evol Comput; 2023 Sep; 31(3):309-335. PubMed ID: 37023361
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Transforming graph states using single-qubit operations.
    Dahlberg A; Wehner S
    Philos Trans A Math Phys Eng Sci; 2018 Jul; 376(2123):. PubMed ID: 29807902
    [TBL] [Abstract][Full Text] [Related]  

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

  • 17. Integrating regression formulas and kernel functions into locally adaptive knowledge-based neural networks: a case study on renal function evaluation.
    Song Q; Kasabov N; Ma T; Marshall MR
    Artif Intell Med; 2006 Mar; 36(3):235-44. PubMed ID: 16213694
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Employment agreements: clauses that can change an NP's life.
    Buppert C
    Nurse Pract; 1997 Aug; 22(8):108-9, 112, 117-9. PubMed ID: 9279848
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Functional clauses and sentence segmentation.
    Carroll JM; Tanenhaus MK
    J Speech Hear Res; 1978 Dec; 21(4):793-808. PubMed ID: 745377
    [TBL] [Abstract][Full Text] [Related]  

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

    [Next]    [New Search]
    of 5.