1. On reduction of deterministic test pattern sets;eggersglüß;IEEE International Test Conference (ITC),0
2. Can q learning with graph networks learn a generalizable branching heuristic for a sat solver;vitaly;Advances in neural information processing systems,2020
3. Machine intelligence for efficient test pattern generation;soham;IEEE International Test Conference,0
4. Parafrost at the sat race 2021;osama;SAT COMPETITION 2021,2021