research
∙
12/06/2022
A Novel Deep Reinforcement Learning Based Automated Stock Trading System Using Cascaded LSTM Networks
More and more stock trading strategies are constructed using deep reinfo...
share
research
∙
12/14/2018
Simple Concurrent Labeling Algorithms for Connected Components
We present new concurrent labeling algorithms for finding connected comp...
research
∙
09/12/2018
The Curse and Blessing of Not-All-Equal in k-Satisfiability
We study upper bounds for the running time of algorithms for NAE-k-SAT a...
research
∙
09/12/2018
Exponential-Time Approximation Algorithms for MAX-SAT: Correlations and Implications
We provide three different algorithms for MAX-SAT approximation. Each of...
research
∙
04/21/2018
Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT
We present the current fastest deterministic algorithm for k-SAT, improv...
research
∙
10/03/2016
A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas
Many real-world problems involving constraints can be regarded as instan...
research
∙
10/25/2015