Finding all Solutions to a CNF. The DualSat SAT Solver
Available
Master's Thesis from the year 2020 in the subject Computer Science - Applied, grade: Sehr gut, Klagenfurt University (Institut fur Angewandte Informatik), language: English, abstract: DualSAT is a performant new SAT-solver that is optimized to find and output all solutions to an input CNF usable by further processing steps that can follow. Solutions are stored as a number of disjoint solution clas...
Read more
E-book
pdf
Price
25.86 £
Master's Thesis from the year 2020 in the subject Computer Science - Applied, grade: Sehr gut, Klagenfurt University (Institut fur Angewandte Informatik), language: English, abstract: DualSAT is a performant new SAT-solver that is optimized to find and output all solutions to an input CNF usable by further processing steps that can follow. Solutions are stored as a number of disjoint solution clas...
Read more
Follow the Author
