2 papers
cs.AI2021
Code Representation Learning with Prüfer Sequences
Tenzin Jinpa, Yong Gao
An effective and efficient encoding of the source code of a computer program is critical to the success of sequence-to-sequence deep neural network models for tasks in computer pro…
cs.DS2008
A Fixed-Parameter Algorithm for Random Instances of Weighted d-CNF Satisfiability
Yong Gao
We study random instances of the weighted -CNF satisfiability problem (WEIGHTED -SAT), a generic W[1]-complete problem. A random instance of the problem consists of a fixed p…