Lightweight axiom pinpointing via replicated driver and customized SAT-solving.

Dantong Ouyang Mengting Liao Yuxin Ye

Published in: Frontiers Comput. Sci. (2022)

Keyphrases

lightweight
sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
dos attacks
inference rules
wireless sensor networks
rfid tags
sat encodings
communication infrastructure
cellular automata
orders of magnitude
authentication protocol
clause learning
evolutionary algorithm
genetic algorithm