Login / Signup
Determination of 3-ary α-resolution in LP(X).
Hairui Jia
Yang Xu
Yi Liu
Published in:
ISKE (2021)
Keyphrases
</>
linear programming
optimal solution
objective function
high resolution
low resolution
linear program
three dimensional
databases
neural network
artificial neural networks
constraint propagation
sampling rate
conflict detection