The effect of logical permutation in 2 satisfiability reverse analysis method
Author(s) -
Mohd Shareduwan Mohd Kasihmuddin,
Mohd. Asyraf Mansor,
Md Faisal Md Basir,
Siti Zulaikha Mohd Jamaludin,
Saratha Sathasivam
Publication year - 2020
Publication title -
aip conference proceedings
Language(s) - English
Resource type - Conference proceedings
SCImago Journal Rank - 0.177
H-Index - 75
eISSN - 1551-7616
pISSN - 0094-243X
DOI - 10.1063/5.0019158
Subject(s) - interpretability , permutation (music) , computer science , satisfiability , benchmark (surveying) , boolean satisfiability problem , logical consequence , theoretical computer science , logical conjunction , artificial neural network , algorithm , artificial intelligence , programming language , physics , acoustics , geodesy , geography
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom