Ying Jie Yan

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Stochastic Local Search

Fpga Implementation

Satisfiability Problem

Clause Learning

Top Venues

Publications

Ying Jie Yan, Hideharu Amano, Masashi Aono, Kaori Ohkoda, Shingo Fukuda, Kenta Saito, Seiya Kasai
Resource-saving FPGA Implementation of the Satisfiability Problem Solver: AmoebaSATslim. FPT (2021)