Computer science
Arabidopsis
Solver
Satisfiability modulo theories
Theoretical computer science
Arabidopsis thaliana
Boolean satisfiability problem
Maximum satisfiability problem
Programming language
Algorithm
Boolean function
Biology
Biochemistry
Gene
Mutant
