Cadence Design Systems (United States)

output

20012026

most citedVlasov methods in space physics and astrophysics

146 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Bei Yu2 profiles3 · h 33
E. Fallon3 · h 6
Haiguang Liao3 · h 5
L. Kara3 · h 34
Chung-Kuan Cheng2 · h 45
D. Pan2 · h 65
Jingwei Lu2 · h 10
Kun Yuan2 · h 14
Pengwen Chen2 · h 13
Peter James Stuckey2 · h 60
Qingyi Dong2 · h 3
Vitaly Lagoon2 · h 13

collaborating institutions

Carnegie Mellon UniversityUS3 papers
The University of Texas at AustinUS3 papers
Data61AU2 papers
Georgia Institute of TechnologyUS2 papers
National Chung Hsing UniversityTW2 papers
Stanford UniversityUS2 papers
The University of MelbourneAU2 papers
University of California San DiegoUS2 papers
Advanced Micro Devices (United States)US1 paper
ARC Centre of Excellence for All-sky AstrophysicsAU1 paper
ARC Centre of Excellence for Gravitational Wave DiscoveryAU1 paper
Astronomy and SpaceAU1 paper

Showing 2014 · cs.AIShow all

1 paper · 2 filters

cs.AI2014★ 15 cited

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Graeme Gange, Peter James Stuckey, Vitaly Lagoon

Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques in- cur the s…