Keyword:reduction

Publications
Induction Models on $\mathbb{N}$ A. Dileep, Kuldeep S. Meel and Ammar F. Sabili In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Tiling with Three Polygons is Undecidable Erik D. Demaine and Stefan Langerman EasyChair Preprint 15503
Elevating Fleet Management and Financial Advice: Integrating Machine Learning and Cloud Technologies Beyond Traditional Spreadsheets Adeyeye Barnabas EasyChair Preprint 15012
Note for the P versus NP Problem Frank Vega EasyChair Preprint 11886
NP on Logarithmic Space Frank Vega EasyChair Preprint 9555
Use of Sansevieria Trifasciata to Reduce Computer Radiation in Internet Cafe Operators Rieke Aulia Panduwinata, Yamtana and Adib Suyanto EasyChair Preprint 5774
The Complexity of the Twin Prime Conjecture Frank Vega EasyChair Preprint 3388
L Versus Parity-L Frank Vega EasyChair Preprint 3343
The Complexity of Mathematics Frank Vega EasyChair Preprint 3062
P versus NP Frank Vega EasyChair Preprint 3061
Analyzing GPU Tensor Core Potential for Fast Reductions Roberto A. Carrasco Cavieres, Raimundo Vega and Cristóbal A. Navarro EasyChair Preprint 565