3 ms·
SAT, its extensions and SMT solvers are heavily used in bioinformatics. For example in genetics and for protein folding problems.
by pdobsan 7y ago
SAT, its extensions and SMT solvers are heavily used in bioinformatics. For example in genetics and for protein folding problems.