Results 1 to 10 of about 137,835 (162)
Artificial Intelligence, 2021 The SAT Competitions constitute a well-established series of yearly open international algorithm implementation competitions, focusing on the Boolean satisfiability (or propositional satisfiability, SAT) problem. In this article, we provide a detailed account on the 2020 instantiation of the SAT Competition, including the new competition tracks and ...
Nils Froleyks +2 more
exaly +3 more sources
Artificial Intelligence, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Armin Biere +2 more
exaly +4 more sources
Clinical Profile of Hypoglycaemia in Neonates at Risk in a Tertiary Care Teaching Institute in Southern India: A Longitudinal Study [PDF]
Indian Journal of Neonatal Medicine and Research, 2022 Introduction: Hypoglycaemia is common in babies at risk. Without early detection, timely diagnosis and treatment, hypoglycaemia can cause disastrous consequences on neurological and developmental outcomes.
Christy Tom +4 more
doaj +1 more source
New width parameters for SAT and #SAT
Artificial Intelligence, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Robert Ganian, Stefan Szeider
openaire +2 more sources
Global Health Action, 2023 Directly observed treatment (DOT) for tuberculosis (TB) is recommended by the World Health Organization. However, DOT does not always meet patients’ preferences, burdens health facilities, and is hard to implement in settings where access to healthcare ...
Souleymane Hassane-Harouna +8 more
doaj +1 more source
Comparative Evaluation of Nested Polymerase Chain Reaction for Rapid Diagnosis of Human Brucellosis [PDF]
Archives of Razi Institute, 2021 Brucellosis is recognized as a zoonotic disease with high morbidity in the absence of treatment. The primary diagnosis of brucellosis can be effective in the achievement of satisfying treatment results and prevention of chronic infections.
L Rahbarnia +3 more
doaj +1 more source
Assessment of Treatment in Inflammatory Bowel Disease Patients Using Steroid Assessment Tool (SAT) in a Tertiary Center from Romania [PDF]
Modern Medicine, 2021 Background and aims: The evolution of inflammatory bowel diseases was significantly improved during the last decade by the new therapeutic options. Classical medications as corticosteroids and 5-aminosalycilates (5-ASA) are still highly used. In order to
Loredana GORAN, Lucian NEGREANU
doaj +1 more source
SAT-IT: The Interactive SAT Tracer
, 2023 In this work we present the Interactive SAT Tracer (SAT-IT), a visual and interactive tool to monitor and illustrate the basic algorithms for solving the Boolean Satisfiability Problem (SAT). We consider three algorithms with progressively increasing sophistication: simple backtracking, its extension with unit-propagation, so called Davis-Putnam ...
Marc Cané +3 more
openaire +1 more source
Journal of Pediatric Research, 2023 Neonatal purpura fulminans due to severe congenital protein C deficiency is a rare autosomal recessive disorder which can be fatal if untreated. Here, we discuss a case report of a 10-month-old male child, born via 3rd degree consanguineous marriage ...
Ajeesh Babu, Riaz I, Sankar Hariharan
doaj +1 more source
Compilation-Based Approaches to Parallel Planning: An Empirical Comparison
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Automated planning deals with finding a sequence of actions, a plan, to reach a goal. One of the possible approaches to automated planning is a compilation of a planning problem to a Boolean satisfiability problem or to a constraint satisfaction problem,
Kristýna Pantůčková, Roman Barták
doaj +1 more source