Keyword:computational complexity

Publications
Integration of Machine Learning Techniques in Topology Optimization for Enhancing Parallel Kinematics Mechanisms Performance Wahaj Ahmed and Lanying Fang EasyChair Preprint 13198
Complexity Bounds for Ray Tracing and Illumination in 2D Using Spy Mirrors Rosemary Adejoh, Andreas Jakoby, Sneha Mohanty and Christian Schindelhauer EasyChair Preprint 12070
Note for the Millennium Prize Problems Frank Vega EasyChair Preprint 11927
Secured Information Transfer Power by Modified and Optimized RSA Cryptosystem Prashnatita Pal EasyChair Preprint 10635
A New Algorithm for Solving the rSUM Problem Valerii Sopin EasyChair Preprint 8271
Are Quantum Speedups for Learning Expressive Classes Possible? Srinivasan Arunachalam, Alex B. Grilo, Tom Gur, Igor C. Oliveira and Aarthi Sundaram EasyChair Preprint 7564
PH = PSPACE Valerii Sopin EasyChair Preprint 7481
Image Segmentation Morphology Arun Kumar and Pankaj Kumar Saini EasyChair Preprint 4337
On the Complexity of Convex and Reverse Convex Prequadratic Constraints Rodrigo Raya, Jad Hamza and Viktor Kuncak In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic Przemysław Andrzej Wałęga In:LPAR-22 Workshop and Short Paper Proceedings
Quantified Boolean Formulas: Call the Plumber! Josef Lindsberger, Alexander Maringele and Georg Moser In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Algebra of Combined Constraint Solving Eugenia Ternovska In:GCAI 2015. Global Conference on Artificial Intelligence
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic Petr Cintula and George Metcalfe In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
Dynamics of Argumentation Systems: A Basic Theory Beishui Liao, Li Jin and Rober Koons In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.