Essays about: "Maximum Satisfiability"

Found 2 essays containing the words Maximum Satisfiability.

1. 1. Bit-Vector Approximations of Floating-Point Arithmetic

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Joel Havermark; [2018]
   Keywords : ;

   Abstract : The use of floating-point numbers in safety-critical applications shows a need to efficiently and automatically reason about them. One approach is to use Satisfiability modulo theories (SMT). The naive approach to using SMT does not scale well. Previous work suggests approximations as a scalable solution. READ MORE

3. 2. Haplotype Inference as a caseof Maximum Satisfiability : A strategy for identifying multi-individualinversion points in computational phasing

   University essay from Uppsala universitet/Molekylär evolution

   Author : Ebba Bergman; [2017]
   Keywords : Haplotypes; Maximum Satisfiability; Weighted Maximum Satisfiability; Logic; Bioinformatics; cnF2freq; chaplink;

   Abstract : Phasing genotypes from sequence data is an important step betweendata gathering and downstream analysis in population genetics,disease studies, and multiple other fields. This determination ofthe sequences of markers corresponding to the individualchromosomes can be done on data where the markers are in lowdensity across the chromosome, such as from single nucleotidepolymorphism (SNP) microarrays, or on data with a higher localdensity of markers like in next generation sequencing (NGS). READ MORE