Media type: E-Article Title: Evaluation of crystal structures with partial occupancies using Boolean satisfiability techniques in STRUPLOX Contributor: Fischer, Reinhard; Soeken, Mathias; Drechsler, Rolf imprint: International Union of Crystallography (IUCr), 2019 Published in: Acta Crystallographica Section A Foundations and Advances Language: Not determined DOI: 10.1107/s2053273319088466 ISSN: 2053-2733 Keywords: Inorganic Chemistry ; Physical and Theoretical Chemistry ; Condensed Matter Physics ; General Materials Science ; Biochemistry ; Structural Biology Origination: Footnote: