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 *

123 related articles for article (PubMed ID: 36018865)

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

  • 2. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
    Blanchette JC; Fleury M; Lammich P; Weidenbach C
    J Autom Reason; 2018; 61(1):333-365. PubMed ID: 30069073
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

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

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

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

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

  • 10. To Link or Not to Link: Clause Chaining in Japanese Narratives.
    Clancy PM
    Front Psychol; 2019; 10():3008. PubMed ID: 32116866
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Conflict of interest prevention clause in the constitution: The study of the Indonesian Constitution.
    Chandranegara IS; Cahyawati DP
    Heliyon; 2023 Mar; 9(3):e14679. PubMed ID: 36994409
    [TBL] [Abstract][Full Text] [Related]  

  • 12. The Acquisition of Clause Chaining in Nungon.
    Sarvasy HS
    Front Psychol; 2020; 11():1456. PubMed ID: 32733328
    [TBL] [Abstract][Full Text] [Related]  

  • 13. The consistency of disjunctive assertions.
    Johnson-Laird PN; Lotstein M; Byrne RM
    Mem Cognit; 2012 Jul; 40(5):769-78. PubMed ID: 22396128
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Automatic numerical solver selection from a repository of pre-run simulations.
    Claeys P; Vanrolleghem PA; De Baets B
    Water Sci Technol; 2009; 59(5):893-906. PubMed ID: 19273888
    [TBL] [Abstract][Full Text] [Related]  

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

  • 16. Circumspect descent prevails in solving random constraint satisfaction problems.
    Alava M; Ardelius J; Aurell E; Kaski P; Krishnamurthy S; Orponen P; Seitz S
    Proc Natl Acad Sci U S A; 2008 Oct; 105(40):15253-7. PubMed ID: 18832149
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Discourse structure and relative clause processing.
    Mak WM; Vonk W; Schriefers H
    Mem Cognit; 2008 Jan; 36(1):170-81. PubMed ID: 18323073
    [TBL] [Abstract][Full Text] [Related]  

  • 18. The Old and the New: Can Physics-Informed Deep-Learning Replace Traditional Linear Solvers?
    Markidis S
    Front Big Data; 2021; 4():669097. PubMed ID: 34870188
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Macromolecular crowding: chemistry and physics meet biology (Ascona, Switzerland, 10-14 June 2012).
    Foffi G; Pastore A; Piazza F; Temussi PA
    Phys Biol; 2013 Aug; 10(4):040301. PubMed ID: 23912807
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Development of Clause Chaining in Korean.
    Choi S
    Front Psychol; 2020; 11():256. PubMed ID: 32218751
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.