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