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 *

139 related articles for article (PubMed ID: 33806451)

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

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

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

  • 4. Communities of solutions in single solution clusters of a random K-satisfiability formula.
    Zhou H; Ma H
    Phys Rev E Stat Nonlin Soft Matter Phys; 2009 Dec; 80(6 Pt 2):066108. PubMed ID: 20365232
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 8. Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT.
    Zhang Z; Zhou J; Wang X; Yang H; Fan Y
    Entropy (Basel); 2022 Dec; 24(12):. PubMed ID: 36554251
    [TBL] [Abstract][Full Text] [Related]  

  • 9. From one solution of a 3-satisfiability formula to a solution cluster: frozen variables and entropy.
    Li K; Ma H; Zhou H
    Phys Rev E Stat Nonlin Soft Matter Phys; 2009 Mar; 79(3 Pt 1):031102. PubMed ID: 19391897
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Efficient solution of Boolean satisfiability problems with digital memcomputing.
    Bearden SRB; Pei YR; Di Ventra M
    Sci Rep; 2020 Nov; 10(1):19741. PubMed ID: 33184386
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Composition vector method based on maximum entropy principle for sequence comparison.
    Chan RH; Chan TH; Yeung HM; Wang RW
    IEEE/ACM Trans Comput Biol Bioinform; 2012; 9(1):79-87. PubMed ID: 21383416
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 14. Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions.
    Semenov A; Zaikin O
    Springerplus; 2016; 5():554. PubMed ID: 27190753
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 17. On speeding up factoring with quantum SAT solvers.
    Mosca M; Basso JMV; Verschoor SR
    Sci Rep; 2020 Sep; 10(1):15022. PubMed ID: 32929125
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Maximally flexible solutions of a random K-satisfiability formula.
    Zhao H; Zhou HJ
    Phys Rev E; 2020 Jul; 102(1-1):012301. PubMed ID: 32794979
    [TBL] [Abstract][Full Text] [Related]  

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

  • 20. Cooperative Coevolution with Formula-Based Variable Grouping for Large-Scale Global Optimization.
    Wang Y; Liu H; Wei F; Zong T; Li X
    Evol Comput; 2018; 26(4):569-596. PubMed ID: 28791882
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.