scholarly journals Satisfiability modulo theory in finding the distance distribution of binary constrained arrays

2021 ◽  
Author(s):  
Putranto Hadi Utomo ◽  
Hadi Sumarno
Keyword(s):  
Distance Distribution ◽  
Satisfiability Modulo Theory

Distance Distribution between Complex Network Nodes in Hyperbolic Space

2016 ◽  
Vol 25 (3) ◽  
pp. 223-236 ◽  
Author(s):  
Gregorio Alanis-Lobato ◽  
Miguel A. Andrade-Navarro ◽  
Keyword(s):  
Complex Network ◽  
Hyperbolic Space ◽  
Distance Distribution ◽  
Network Nodes

Conflict driven clause learning approach for satisfiability modulo theory

2021 ◽  
Author(s):  
Vie’an Huzair Majalawa ◽  
Putranto Hadi Utomo ◽  
Tri Atmojo Kusmayadi ◽  
Diari Indriati
Keyword(s):  
Learning Approach ◽  
Satisfiability Modulo Theory ◽  
Clause Learning

Analytical solution of the PELDOR inverse problem using the integral Mellin transform

2017 ◽  
Vol 19 (48) ◽  
pp. 32381-32388 ◽  
Author(s):  
Anna G. Matveeva ◽  
Vyacheslav M. Nekrasov ◽  
Alexander G. Maryasov
Keyword(s):  
Inverse Problem ◽  
Distribution Function ◽  
Analytical Solution ◽  
Short Distance ◽  
Mellin Transform ◽  
Distance Distribution ◽  
Distance Distribution Function ◽  
Distance Range ◽  
Model Free ◽  
Model Free Approach

The model-free approach used does not introduce systematic distortions in the computed distance distribution function between two spins and appears to result in noise grouping in the short distance range.

Distance distribution between two random points in arbitrary polygons

2021 ◽  
Author(s):  
Ross Pure ◽  
Salman Durrani ◽  
Fei Tong ◽  
Jianping Pan
Keyword(s):  
Distance Distribution
Sign in / Sign up

Export Citation Format

Share Document