Modeling SAT-Attack Search Complexity.

Saran Phatharodom Nagarajan Kandasamy Ioannis Savidis

Published in: ISCAS (2020)

Keyphrases

search algorithm
search strategies
search space
search strategy
search problems
countermeasures
computational complexity
search methods
search queries
satisfiability problem
search efficiency
search procedures
boolean satisfiability
sat solving