A conflict-free approach for parallelizing SAT-based de-camouflaging attacks.
Xueyan WangQiang ZhouYici CaiGang QuPublished in: ASP-DAC (2018)
Keyphrases
- conflict free
- functional dependencies
- answer set programming
- database schemes
- countermeasures
- relational databases
- ai planning
- bounded model checking
- constraint solver
- planning domains
- sat solvers
- watermarking scheme
- database design
- argumentation frameworks
- integrity constraints
- learning algorithm
- decision problems
- theoretical framework
- probability distribution
- reinforcement learning
- artificial intelligence