Publisher: Springer Nature
ISBN: 3030422666
Category : Computers
Languages : en
Pages : 199
Book Description
6 Conclusions While the ILP approach is becoming more widely used in computational biology, only a few studies have explored the SAT-solving approach. Our work shows that SAT-solving can be (but is not always) much more effective than ...