PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems.
Juan ZhaoJunqiang SongMin ZhuJincai LiZhenyu HuangXiaoyong LiXiaoli RenPublished in: ICPP (2018)
Keyphrases
- detection method
- experimental evaluation
- computational cost
- dynamic programming
- feature set
- high accuracy
- method finds
- initial set
- high precision
- pairwise
- support vector machine
- probabilistic model
- computer systems
- model selection
- clustering method
- prior knowledge
- synthetic data
- feature vectors
- combinatorial optimization
- computational complexity