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