A survey of AI-driven smart contract vulnerability detection techniques, with qualitative comparisons and future directions but no new empirical results.
The distinguishing number and distinguishing chromatic number for posets
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
In this paper we introduce the concepts of the distinguishing number and the distinguishing chromatic number of a poset. For a distributive lattice $L$ and its set $Q_L$ of join-irreducibles, we use classic lattice theory to show that any linear extension of $Q_L$ generates a distinguishing 2-coloring of $L$. We prove general upper bounds for the distinguishing chromatic number and particular upper bounds for the Boolean lattice and for divisibility lattices. In addition, we show that the distinguishing number of any twin-free Cohen-Macaulay planar lattice is at most 2.
citation-role summary
citation-polarity summary
fields
cs.CR 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Ai-Driven Vulnerability Analysis in Smart Contracts: Trends, Challenges and Future Directions
A survey of AI-driven smart contract vulnerability detection techniques, with qualitative comparisons and future directions but no new empirical results.