research
∙
04/25/2023
Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection
Recent years have witnessed explosive growth in blockchain smart contrac...
share
research
∙
12/11/2021
Branching Strategy Selection Approach Based on Vivification Ratio
The two most effective branching strategies LRB and VSIDS perform differ...
research
∙
07/29/2018
Clause Vivification by Unit Propagation in CDCL SAT Solvers
Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SA...
research
∙
05/18/2014
A Memetic Algorithm for the Linear Ordering Problem with Cumulative Costs
This paper introduces an effective memetic algorithm for the linear orde...
research
∙
05/18/2014
A Multi-parent Memetic Algorithm for the Linear Ordering Problem
In this paper, we present a multi-parent memetic algorithm (denoted by M...
research
∙
06/04/2013