@inproceedings{2fcbb46cf5064a64ad2888af6b172da9,
title = "Novel integration of Dimetheus and WalkSAT solvers for κ-SAT filter construction",
abstract = "This paper describes a novel approach used to integrate two leading satisfiability (SAT) solvers, Dimetheus and WalkSAT, into a system to provide users with solver selection and solution customization capabilities. The two solvers are efficient for two different cases, have different execution procedures and generate a single solution from a single line of command. This integration provides the most efficient way to find multiple random solutions of any set membership problem from a common single line of command. To build an effective k-SAT filter, multiple random solutions are essential. The integration also provides a unified solution output format rather than two different output formats of two solvers. The theoretical approach and a practical C program were developed and tested during the work in an on-going project to build world's first practical k-SAT filter for deep packet inspection in network intrusion detection systems at Stony Brook University.",
keywords = "Dimetheus, k-SAT filtes, SAT solver, Satisfiability filters, WalkSAT",
author = "Kader, \{A. S.M.Abdul\} and Mikhail Dorojevets",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 2017 IEEE Long Island Systems, Applications and Technology Conference, LISAT 2017 ; Conference date: 05-05-2017",
year = "2017",
month = aug,
day = "3",
doi = "10.1109/LISAT.2017.8001989",
language = "English",
series = "2017 IEEE Long Island Systems, Applications and Technology Conference, LISAT 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2017 IEEE Long Island Systems, Applications and Technology Conference, LISAT 2017",
}