FPGA-Based amoeba-inspired SAT solver for cyber-physical systems.
Anh Hoang Ngoc NguyenMasashi AonoYuko Hara-AzumiPublished in: ICCPS (2019)
Keyphrases
- sat solvers
- cyber physical systems
- cyber physical
- sat solving
- constraint satisfaction
- orders of magnitude
- embedded systems
- physical world
- sat problem
- boolean satisfiability
- cyber security
- search space
- sat instances
- search strategies
- max sat
- social networks
- boolean formula
- critical infrastructure
- sat encodings
- data mining
- search strategy
- unsatisfiable cores