A Search Service for Abbreviation / Long Form

■ Search Result - Abbreviation : SAT

Search Conditions:
Search Keyword : SAT
Search Method : Exact match.
Research Area:

Results:  
Hit abbr.: 2 kinds.
(Click one to see its hit entries.)

(Appearance freq, Descending)
Abbreviation: SAT
Appearance Frequency: 3293 time(s)
Long forms: 425

Display Settings:
[Display Entries]
Long Form, 100 entries
    (Appearance freq, Descending)
Long Form, all entries
[Entries Per Page]
 per page
Page Control
Page: of
Long Form No. Long Form Research Area Co-occurring Abbreviation PubMed/MEDLINE Info. (Year, Title)
subcutaneous adipose tissue
(1149 times)
Metabolism
(269 times)
VAT (629 times)
BMI (172 times)
CT (113 times)
1980 Effects of intravenous infusions of glucose, lactate, propionate or acetate on the induction of lipogenesis in bovine adipose tissue.
subcutaneous
(309 times)
Metabolism
(92 times)
VAT (102 times)
AT (66 times)
BMI (40 times)
1991 Sonography detection of small intra-abdominal fat variations.
serum agglutination test
(149 times)
Veterinary Medicine
(56 times)
CFT (42 times)
RBPT (29 times)
RBT (26 times)
1974 The rose bengal plate test in human brucellosis.
serine acetyltransferase
(128 times)
Biochemistry
(55 times)
ODC (22 times)
OASS (15 times)
OAS (11 times)
1986 Polyamines in 1 alpha, 25-dihydroxycholecalciferol-induced differentiation of human promyelocytic leukemia cells, HL-60.
subacute thyroiditis
(125 times)
Endocrinology
(61 times)
HT (12 times)
GD (11 times)
ESR (8 times)
1980 Fc receptor-bearing blood mononuclear cells in thyroid disorders: increased levels in patients with subacute thyroiditis.
soil aquifer treatment
(77 times)
Environmental Health
(69 times)
DOC (12 times)
DOM (7 times)
THMFP (6 times)
2001 Techno-economic evaluation of soil-aquifer treatment using primary effluent at Ahmedabad, India.
speed-accuracy trade-off
(71 times)
Psychology
(21 times)
ERP (3 times)
RT (3 times)
FEF (2 times)
1976 Speed-accuracy tradeoff in double stimulation: II. Effects on the second response.
Southern African Territories
(57 times)
Veterinary Medicine
(35 times)
FMD (35 times)
FMDV (29 times)
KNP (6 times)
1978 Cross reaction between bovine enterovirus and South African Territories I5 foot-and-mouth disease virus.
spontaneous autoimmune thyroiditis
(51 times)
Allergy and Immunology
(40 times)
OS (31 times)
NWL (5 times)
CBG (4 times)
1975 Heteroagglutinins and spontaneous rosette-forming cells in obese strain (OS) chickens.
10  standard tube agglutination test
(50 times)
Communicable Diseases
(12 times)
ELISA (11 times)
RBPT (8 times)
2-ME (7 times)
1979 Comparison of serological methods for the detection of B. abortus antibodies in sera from vaccinated and non-vaccinated cattle.
11  sc adipose tissue
(42 times)
Endocrinology
(39 times)
VAT (23 times)
BMI (6 times)
IR (3 times)
2004 Molecular determinants of human adipose tissue: differences between visceral and subcutaneous compartments in obese women.
12  self-administered therapy
(41 times)
Medicine
(13 times)
DOT (23 times)
TB (13 times)
DAART (7 times)
1997 A cost-effectiveness analysis of directly observed therapy vs self-administered therapy for treatment of tuberculosis.
13  Scholastic Aptitude Test
(38 times)
Psychology
(10 times)
GPA (12 times)
MCAT (5 times)
GPAs (3 times)
1986 Correlations between SAT scores and MCAT scores of black students in a summer program.
14  salt aggregation test
(36 times)
Microbiology
(22 times)
CSH (7 times)
BATH (6 times)
HIC (4 times)
1986 Non-haemagglutinating fimbriae of enteropathogenic Escherichia coli (EPEC).
15  substance abuse treatment
(33 times)
Substance-Related Disorders
(16 times)
MC (3 times)
ASI (2 times)
CI (2 times)
1997 Predictors of prenatal substance use and birth weight during outpatient treatment.
16  saturated
(28 times)
Vascular Diseases
(6 times)
MONO (11 times)
POLY (8 times)
PUFA (4 times)
1985 Comparison of effects of dietary saturated, monounsaturated, and polyunsaturated fatty acids on plasma lipids and lipoproteins in man.
17  saturation
(24 times)
Anesthesiology
(6 times)
HR (5 times)
SBP (3 times)
SI (3 times)
1982 Changes in red blood cell oxygen transport in diabetic pregnancy.
18  saturated fat
(22 times)
Nutritional Sciences
(5 times)
MUFA (4 times)
CON (3 times)
CE (2 times)
1986 Effects of high levels of dietary fats on the growth of azaserine-induced foci in the rat pancreas.
19  sustained attention task
(19 times)
Neurology
(9 times)
dSAT (7 times)
ACh (3 times)
fNIRS (2 times)
2010 Enhancement of attentional performance by selective stimulation of alpha4beta2(*) nAChRs: underlying cholinergic mechanisms.
20  surface air temperature
(18 times)
Natural Science Disciplines
(9 times)
PDO (3 times)
CC (2 times)
GHGs (2 times)
2007 Probabilistic climate change predictions applying Bayesian model averaging.
21  simultaneous amplification and testing
(17 times)
Communicable Diseases
(4 times)
HFMD (3 times)
IC (3 times)
UU (3 times)
2013 A new accurate assay for Coxsackievirus A 16 by fluorescence detection of isothermal RNA amplification.
22  subacute thrombosis
(17 times)
Cardiology
(8 times)
PCI (5 times)
AMI (3 times)
DES (3 times)
1995 Guidance of anticoagulation after intracoronary implantation of Palmaz-Schatz stents by monitoring prothrombin and prothrombin fragment 1 + 2.
23  satisfiability
(16 times)
Biology
(5 times)
AdSAT (1 time)
ATPG (1 time)
CC (1 time)
1999 Chess games: a model for RNA based computation.
24  self-administered treatment
(16 times)
Pulmonary Medicine
(8 times)
DOT (13 times)
TB (7 times)
DOTS (2 times)
2002 Tuberculosis treatment outcome monitoring: Blackburn 1988-2000.
25  sitting-atop
(16 times)
Chemistry
(7 times)
AN (2 times)
2-ME (1 time)
DFT (1 time)
1998 Formation and Deprotonation Kinetics of the Sitting-Atop Complex of Copper(II) Ion with 5,10,15,20-Tetraphenylporphyrin Relevant to the Porphyrin Metalation Mechanism. Structure of Copper(II)-Pyridine Complexes in Acetonitrile As Determined by EXAFS Spectroscopy.
26  stool antigen test
(14 times)
Gastroenterology
(5 times)
UBT (7 times)
RUT (5 times)
H. pylori (4 times)
2006 Accuracy of monoclonal stool antigen test for the diagnosis of H. pylori infection: a systematic review and meta-analysis.
27  supra-aortic trunks
(13 times)
General Surgery
(8 times)
AA (3 times)
IA (3 times)
CEA (2 times)
1988 [Vascular disease of the supra-aortic trunk (SAT). Clinical, velocimetric and risk factors findings in a group of elderly subjects].
28  saliva-activated transmission
(11 times)
Parasitology
(4 times)
SGE (4 times)
THO (3 times)
AChE (1 time)
1992 Saliva-activated transmission (SAT) of Thogoto virus: dynamics of SAT factor activity in the salivary glands of Rhipicephalus appendiculatus, Amblyomma variegatum, and Boophilus microplus ticks.
29  Separation Anxiety Test
(11 times)
Psychiatry
(5 times)
AAI (1 time)
CAI (1 time)
CDI (1 time)
1988 Separation-individuation and ego identity status in late adolescence: A two-year longitudinal study.
30  sugar absorption test
(11 times)
Gastroenterology
(3 times)
IP (3 times)
CD (2 times)
GFD (2 times)
1992 Intestinal permeability in pediatric gastroenterology.
31  satisfaction
(10 times)
General Surgery
(2 times)
CI (3 times)
VAS (3 times)
ANB (2 times)
1989 Effects of information on recently diagnosed cancer patients' and spouses' satisfaction with care.
32  saturated fatty acids
(10 times)
Veterinary Medicine
(2 times)
DHA (2 times)
EPA (2 times)
PUFA (2 times)
1993 Dietary fat effects on hepatic lipid peroxidation and enzymes of H2O2 metabolism and NADPH generation.
33  subcutaneous abdominal
(9 times)
Obesity
(5 times)
BMI (3 times)
FFM (2 times)
VAT (2 times)
2000 Metformin in the treatment of HIV lipodystrophy syndrome: A randomized controlled trial.
34  satisfiability problem
(8 times)
Science
(3 times)
MRHC (1 time)
MRHCE (1 time)
NP (1 time)
2000 DNA computing on surfaces.
35  scapular assistance test
(8 times)
Orthopedics
(4 times)
SRT (3 times)
LSST (2 times)
SAIS (2 times)
2006 The intertester reliability of the Scapular Assistance Test.
36  Scholastic Assessment Test
(8 times)
Psychology
(2 times)
BSP (1 time)
GPAs (1 time)
MR (1 time)
2001 Using working memory theory to investigate the construct validity of multiple-choice reading comprehension tests such as the SAT.
37  social attribution task
(8 times)
Psychiatry
(2 times)
TD (3 times)
ToM (3 times)
fMRI (2 times)
2000 Attributing social meaning to ambiguous visual stimuli in higher-functioning autism and Asperger syndrome: The Social Attribution Task.
38  spontaneous activity transients
(8 times)
Pediatrics
(5 times)
aEEG (4 times)
ACA (1 time)
BGP (1 time)
2006 Development of neonatal EEG activity: from phenomenology to physiology.
39  suspension array technology
(8 times)
Cell Biology
(2 times)
aCGH (1 time)
anti-P0 (1 time)
ART (1 time)
2001 Suspension array technology: new tools for gene and protein analysis.
40  semi-arid tropics
(7 times)
Molecular Biology
(2 times)
SSR (2 times)
E-QTL (1 time)
GCMs (1 time)
2006 Pigeonpea (Cajanus cajan L. Millsp.).
41  serum agglutination
(7 times)
Veterinary Medicine
(4 times)
CFT (3 times)
ASA (1 time)
cELISA (1 time)
1979 Brucella suis infection in pregnant cattle.
42  systolic acceleration time
(7 times)
Diagnostic Imaging
(4 times)
RI (4 times)
HAS (2 times)
LT (2 times)
1994 Hepatic artery stenosis and thrombosis in transplant recipients: Doppler diagnosis with resistive index and systolic acceleration time.
43  S. neurona direct agglutination test
(6 times)
Parasitology
(6 times)
EPM (3 times)
2001 Prevalence of agglutinating antibodies to Sarcocystis neurona in raccoons, Procyon lotor, from the United States.
44  Salience Attribution Test
(6 times)
Behavior
(1 time)
ASI (1 time)
ISP (1 time)
LIrr (1 time)
2009 Assessing the construct validity of aberrant salience.
45  systemic antifungal therapy
(6 times)
Microbiology
(3 times)
IC (2 times)
ICUs (2 times)
AZO (1 time)
2015 Antifungal de-escalation was not associated with adverse outcome in critically ill patients treated for invasive candidiasis: post hoc analyses of the AmarCAND2 study data.
46  Sarcoidosis Assessment Tool
(5 times)
Pulmonary Medicine
(4 times)
FAS (2 times)
HRQoL (2 times)
PRO (2 times)
2015 Validation and important differences for the Sarcoidosis Assessment Tool. A new patient-reported outcome measure.
47  scintigraphic appearance time
(5 times)
Neoplasms
(3 times)
LTR (2 times)
SLN (2 times)
SN (2 times)
2008 Slow dynamics of lymphoscintigraphic mapping is associated to the negativity of the sentinel node in melanoma patients.
48  sialyltransferase
(5 times)
Biochemistry
(3 times)
Cer-Glc-T (1 time)
ER (1 time)
GSLs (1 time)
1994 Sialylation and malignant potential in tumour cell glycosylation mutants.
49  spontaneous awakening trial
(5 times)
Quality Assurance, Health Care
(2 times)
ICU (3 times)
SBT (2 times)
CAM-ICU (1 time)
2017 Persistence of Delirium after Cessation of Sedatives and Analgesics and Impact on Clinical Outcomes in Critically Ill Patients.
50  structural atypism
(5 times)
Urology
(3 times)
NAN (3 times)
CAT (1 time)
INF (1 time)
1984 [Histological classification and prognosis of mammary cancer-histological classification devised by the Japan Mammary Cancer Society and WHO classification].
51  subacute granulomatous thyroiditis
(5 times)
Endocrinology
(2 times)
CRP (2 times)
ESR (2 times)
CF (1 time)
1993 Serum sialic acid levels in the diagnosis and follow-up of subacute granulomatous thyroiditis.
52  subcutaneous abdominal tissue
(5 times)
Nutritional Sciences
(2 times)
VAT (4 times)
AIR (1 time)
CP (1 time)
1990 Modifications of abdominal fat and hepatic insulin clearance during severe caloric restriction.
53  subcutaneous adipose
(5 times)
Cardiology
(2 times)
VAT (2 times)
AF (1 time)
BMI (1 time)
2004 Characterization of adenosine-A1 receptor-mediated antilipolysis in rats by tissue microdialysis, 1H-spectroscopy, and glucose clamp studies.
54  subepicardial adipose tissue
(5 times)
Biology
(1 time)
BMI (1 time)
HEP (1 time)
HOMA-IR (1 time)
1989 Protein synthesis in vitro in cultures of the subepidermal adipose tissue and the ovary of the shrimp Penaeus semisulcatus.
55  superficial adipose tissue
(5 times)
Cell Biology
(2 times)
DAT (4 times)
SVF (2 times)
ASC (1 time)
2007 Anatomo-radiological study of the superficial musculo-aponeurotic system of the face.
56  Sustainability Assessment of Technologies
(5 times)
Environmental Health
(3 times)
HCEs (1 time)
HCW (1 time)
HCWM (1 time)
2016 Assessment and selection of the best treatment alternative for infectious waste by modified Sustainability Assessment of Technologies methodology.
57  Systems Assessment Tool
(5 times)
Health Services Research
(2 times)
CQI (2 times)
ARF (1 time)
GWI (1 time)
2012 Identifying potential adverse effects by patients' ratings: a proof-of-concept study of a novel approach.
58  saponins extracted from Aralia taibaiensis
(4 times)
Molecular Biology
(1 time)
AMPK (2 times)
T2DM (2 times)
ACC (1 time)
2013 Insulin-secretagogue activity of eleven plant extracts and twelve pure compounds isolated from Aralia taibaiensis.
59  satellite DNA
(4 times)
Cell Biology
(2 times)
PCR (1 time)
SSR (1 time)
2004 Bovine satellite DNA induces heterochromatinization of host chromosomal DNA in cells of trassatellite mouse embryonal carcinoma.
60  saturated FS
(4 times)
Veterinary Medicine
(3 times)
FS (3 times)
UNS (3 times)
FA (1 time)
2006 Effects of fatty acid supplements on milk yield and energy balance of lactating dairy cows.
61  scanning acoustic tomography
(4 times)
Biomedical Engineering
(3 times)
UHMWPE (4 times)
FTIR (1 time)
TKA (1 time)
1998 Detection of cracks in polyethylene components of retrieved knee joint prostheses.
62  Selective Attention Test
(4 times)
Neurology
(2 times)
BARS (4 times)
CPT (4 times)
RTT (3 times)
2014 Cadmium exposure and neuropsychological development in school children in southwestern Spain.
63  single atom tip
(4 times)
Diagnostic Imaging
(3 times)
FIB (1 time)
FWHM (1 time)
GFISs (1 time)
2013 Tip apex shaping of gas field ion sources.
64  Social Action Theory
(4 times)
Acquired Immunodeficiency Syndrome
(3 times)
CFI (1 time)
RCT (1 time)
RMSEA (1 time)
2011 Theory development for HIV behavioral health: empirical validation of behavior health models specific to HIV risk.
65  sodium aurothiomalate
(4 times)
Rheumatology
(2 times)
6-MP (1 time)
BUN (1 time)
CR (1 time)
1989 Effect of several kinds of drugs on the development of autoimmunity in MRL/Mp-lpr/lpr mice; lack of correlation between the suppression of autoantibody production and prevention of autoimmune disease.
66  stent-assisted thrombectomy
(4 times)
Nervous System Diseases
(2 times)
AMCD (1 time)
ICA (1 time)
MCA (1 time)
2013 A comparison of stent-assisted mechanical thrombectomy and conventional intra-arterial thrombolysis for acute cerebral infarction.
67  structured approach therapy
(4 times)
Medicine
(1 time)
PTSD (4 times)
OEF (2 times)
OIF (2 times)
2015 Efficacy of structured approach therapy in reducing PTSD in returning veterans: A randomized clinical trial.
68  subcutaneous adiposity
(4 times)
Acquired Immunodeficiency Syndrome
(1 time)
VAT (3 times)
BMI (1 time)
CAC (1 time)
2007 Double-edged relationship between adiposity and coronary artery calcification in type 1 diabetes.
69  subcutaneous tissue
(4 times)
Cardiology
(2 times)
TG (3 times)
VAT (2 times)
5ARIs (1 time)
2013 Cardiac steatosis associates with visceral obesity in nondiabetic obese men.
70  sulfuric acid tetrahydrate
(4 times)
Chemistry
(2 times)
DSC (1 time)
PSCs (1 time)
1994 Volcanic Bishop's ring: evidence for a sulfuric acid tetrahydrate particle aureole.
71  sulphate
(4 times)
Public Health
(1 time)
PAE (2 times)
BATH (1 time)
PA SME (1 time)
1998 Pharmacodynamic parameters of gentamicin and their effect on biological properties of gram-negative bacteria.
72  systemic antibiotic therapy
(4 times)
Dentistry
(3 times)
ALOS (1 time)
BC (1 time)
CABSI (1 time)
2009 An evidence-based assessment of the clinical guidelines for replanted avulsed teeth. Part II: prescription of systemic antibiotics.
73  SATisfaction and adherence to COPD treatment
(3 times)
Pulmonary Medicine
(3 times)
COPD (1 time)
DACQ (1 time)
INHS (1 time)
2019 Disease awareness in patients with COPD: measurement and extent.
74  satisfactory
(3 times)
Cell Biology
(2 times)
LTO (2 times)
ACUS (1 time)
EBUS-FNA (1 time)
1996 External quality assurance in cervical/vaginal cytology: Interlaboratory agreement in the Emilia-Romagna region of Italy.
75  saturated fat-enriched
(3 times)
Medicine
(2 times)
CE (1 time)
CHO (1 time)
HCO (1 time)
2002 [Response degree of cholesterol LDL to feeding in males with hypercholesterolemia according to baseline value].
76  sc AT
(3 times)
Endocrinology
(3 times)
AT (3 times)
VAT (2 times)
BW (1 time)
2008 Lower visceral and subcutaneous but higher intermuscular adipose tissue depots in patients with growth hormone and insulin-like growth factor I excess due to acromegaly.
77  Selective Attention
(3 times)
Neurology
(2 times)
BARS (2 times)
ADHD (1 time)
ANCOVA (1 time)
2005 Neurobehavioral performance in workers exposed to toluene.
78  selective attention task
(3 times)
Neurology
(2 times)
ERP (2 times)
PN (1 time)
RT (1 time)
1997 The effect of decreased catecholamine transmission on ERP indices of selective attention.
79  Self-Alert Training
(3 times)
Psychology
(1 time)
ADHD (1 time)
CT (1 time)
RCT (1 time)
2015 Biofeedback-based self-alert training reduces alpha activity and stabilizes accuracy in the Sustained Attention to Response Task.
80  self-assessment tool
(3 times)
Preservation, Biological
(1 time)
AMS (2 times)
PHE (1 time)
RCGP (1 time)
2012 The ISBER Best Practices Self Assessment Tool (SAT): Lessons learned after three years of collecting responses.
81  Sequential antibiotic therapy
(3 times)
Tropical Medicine
(1 time)
MM (1 time)
PH (1 time)
1998 Sequential antimicrobial therapy: comparison of the views of microbiologists and pharmacists.
82  Shifting Attention Test
(3 times)
Science
(2 times)
SDC (2 times)
ST (2 times)
BRT (1 time)
2010 Neurobehavioral effects of transportation noise in primary schoolchildren: a cross-sectional study.
83  slide agglutination
(3 times)
Veterinary Medicine
(2 times)
ELISA (1 time)
PSAT (1 time)
1986 Monoclonal antibodies against the K99 antigen of Escherichia coli for diagnostic purposes.
84  Social Approach Test
(3 times)
Neurology
(2 times)
AMPH (1 time)
ASD (1 time)
BLA (1 time)
2013 Development of home cage social behaviors in BALB/cJ vs. C57BL/6J mice.
85  sodium acetate trihydrate
(3 times)
Natural Science Disciplines
(1 time)
EG (1 time)
PCM (1 time)
PCMs (1 time)
2017 Development of sodium acetate trihydrate-ethylene glycol composite phase change materials with enhanced thermophysical properties for thermal comfort and therapeutic applications.
86  standard analgesic treatment
(3 times)
Pain
(2 times)
NRS (3 times)
VAS (3 times)
CI (2 times)
2019 Analgesic Efficacy, Practicality and Safety of Inhaled Methoxyflurane Versus Standard Analgesic Treatment for Acute Trauma Pain in the Emergency Setting: A Randomised, Open-Label, Active-Controlled, Multicentre Trial in Italy (MEDITA).
87  Stanford Achievement Test
(3 times)
Health Services Research
(2 times)
CGSs (2 times)
TONI-2 (1 time)
WSC (1 time)
1997 Validity of the TONI-2 with deaf and hard of hearing children.
88  starter unit acyltransferase
(3 times)
Chemistry
(2 times)
PKSs (2 times)
EAT (1 time)
FASs (1 time)
2010 Function analysis of a new type I PKS-SAT domain by SAT-EAT domain replacement.
89  Strategy for Health Assessment Tool
(3 times)
Therapeutics
(1 time)
SAT-SF (1 time)
SF (1 time)
SM (1 time)
2015 Patient-reported assessment of self-management strategies of health in cancer patients: development and validation of the Smart Management Strategy for Health Assessment Tool (SAT).
90  student-as-teacher
(3 times)
Education
(3 times)
--- 2013 Developing medical students as teachers: an anatomy-based student-as-teacher program with emphasis on core teaching competencies.
91  suppressive antibiotic therapy
(3 times)
Orthopedic Procedures
(1 time)
PJIs (2 times)
MRSA (1 time)
2017 Suppressive antibiotic therapy with oral doxycycline for Staphylococcus aureus prosthetic joint infection: a retrospective study of 39 patients.
92  symptomless autoimmune thyroiditis
(3 times)
Medicine
(1 time)
TRH (2 times)
TSH (2 times)
GD (1 time)
1975 Natural course of symptomless autoimmune thyroiditis.
93  (7S)-salutaridinol 7-O-acetyltransferase
(2 times)
Botany
(2 times)
4'OMT (2 times)
6OMT (2 times)
CNMT (2 times)
2003 Developmental and inducible accumulation of gene transcripts involved in alkaloid biosynthesis in opium poppy.
94  safe apnea time
(2 times)
Anesthesia
(2 times)
BMI (2 times)
NC (2 times)
DASc (1 time)
2019 The supraglottic airway device as first line of management in anticipated difficult mask ventilation in the morbidly obese.
95  saliva alcohol test
(2 times)
Emergency Medicine
(2 times)
AUDIT (1 time)
EPs (1 time)
1995 Alcohol use among subcritically injured emergency department patients.
96  San-Ao-Tang
(2 times)
Chemistry Techniques, Analytical
(1 time)
BALF (1 time)
IAR (1 time)
2000 Effect of San-Ao-Tang on immediate and late airway response and leukocyte infiltration in asthmatic guinea pigs.
97  satellite alpha transcripts
(2 times)
Neoplasms
(2 times)
BBC (1 time)
HR (1 time)
MPC (1 time)
2018 Overexpression of satellite alpha transcripts leads to chromosomal instability via segregation errors at specific chromosomes.
98  Satietin
(2 times)
Pharmacology
(1 time)
aCSF (2 times)
AFF (1 time)
BFF (1 time)
1994 HPLC-purified bovine satietin suppresses food intake and weight without causing conditioned taste aversion.
99  Satisfaction with Treatment
(2 times)
Mental Disorders
(1 time)
BRS (1 time)
CD-RISC (1 time)
GAD-7 (1 time)
2018 Supported Internet-Delivered Cognitive Behavioral Therapy Programs for Depression, Anxiety, and Stress in University Students: Open, Non-Randomised Trial of Acceptability, Effectiveness, and Satisfaction.
100  satisfiable
(2 times)
Biomedical Engineering
(1 time)
UNSAT (1 time)
2004 A simplifier for propositional formulas with many binary clauses.