Results 41 to 50 of about 138,192 (261)
CoRR, 2007 Description of a polynomial time reduction of SAT to 2-SAT of polynomial size.
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Medication nonadherence during the first 100 days after pediatric hematopoietic stem cell transplantation (HSCT) and during oncology treatment increases risk for complications. BMT4me is a caregiver‐facing mobile health (mHealth) application providing medication reminders, symptom tracking, and note‐taking features to support ...
Micah A. Skeens +4 more
wiley +1 more source
AbstractState-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT-solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT-solver (called a module), and propagate information (lemmas, proof obligations, blocked clauses, etc.
Hari Govind V. K. +3 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survival after relapse in pediatric acute myeloid leukemia (AML) remains poor, highlighting the critical importance of identifying prognostic factors to guide optimal relapse management. Methods We investigated the prognostic impact of multiparameter flow cytometry (MFC) measurable residual disease (MRD) in 188 patients with first ...
Camilla Poulsen +21 more
wiley +1 more source
CoRR, 2015 We propose a funny representation of SAT. While the primary interest is to present propositional satisfiability in a playful way for pedagogical purposes, it could also inspire new search heuristics.
openaire +2 more sources
ASSIST: Refinement of a Benefits Navigator Intervention Among Low‐Income Pediatric Oncology Families
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background/Objectives Children with cancer living in poverty experience worse survival and quality of life. Interventions connecting low‐income families to benefits (e.g., Supplemental Nutrition Assistance Program [SNAP] improve health outcomes; yet nearly 50% of SNAP‐eligible pediatric oncology families are unenrolled.
Puja J. Umaretiya +11 more
wiley +1 more source
The SAT-UNSAT transition in the adversarial SAT problem
CoRR, 2013 Adversarial SAT (AdSAT) is a generalization of the satisfiability (SAT) problem in which two players try to make a boolean formula true (resp. false) by controlling their respective sets of variables. AdSAT belongs to a higher complexity class in the polynomial hierarchy than SAT and therefore the nature of the critical region and the transition are ...
Marco Bardoscia +2 more
openaire +2 more sources
Misperception of Body Weight After Childhood Cancer
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Misperception of body weight can negatively impact the weight management efforts of childhood cancer survivors (CCSs). Both being overweight or underweight are associated with chronic health conditions commonly observed in CCS; therefore, accurate weight perception is critical for reducing long‐term health risks.
Fabiën N. Belle +8 more
wiley +1 more source
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems [PDF]
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009 Finding subclasses of formulae for which the SAT problem can be solved in polynomial time has been an important problem in computer science. We present a new hierarchy of propositional formulae subclasses for which the SAT and counting SAT problems can be solved in polynomial time.
Rinard, Martin C. +3 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Acute lymphoblastic leukaemia (ALL) is one of the most treatable forms of paediatric cancer; however, there is a substantial burden of treatment‐related toxicities (TRTs). In addition, the long‐term changes in children's health‐related quality of life (HRQoL) due to toxic treatments are not well understood.
Clare Ghows +19 more
wiley +1 more source