Author of the publication

Symmetric Component Caching for Model Counting on Combinatorial Instances.

, , , , and . AAAI, page 3922-3930. AAAI Press, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Research oriented foss solution for automatic oil spill detection using risat-1 sar data., , , , and . IGARSS, page 3121-3124. IEEE, (2017)Bayesian learner based language learnability analysis of Hindi., , , , and . ICACCI, page 2089-2093. IEEE, (2016)Space Filling Curves for MRI Sampling., , and . ICASSP, page 1115-1119. IEEE, (2020)A novel approach for IoT based wearable health monitoring and messaging system., , , and . J. Ambient Intell. Humaniz. Comput., 10 (7): 2817-2828 (2019)Efficient Computation for Localization and Navigation System for a Differential Drive Mobile Robot in Indoor and Outdoor Environments., , , , , and . Rev. d'Intelligence Artif., 35 (6): 437-446 (2021)REFRESH: Responsible and Efficient Feature Reselection Guided by SHAP Values., , , , , and . CoRR, (2024)Image Quality Assessment for Endoscopy Applications., , , , , , and . MeMeA, page 1-6. IEEE, (2021)Modularization Technique to Support Software Variability in Cyber-Physical Production Systems., , , , and . VaMoS, page 71-76. ACM, (2023)Delta Models as a Measurement for Improving the Quality of IEC 61499-based Control Software., , , , and . ETFA, page 1-4. IEEE, (2023)Enhancing Plant Pathology with CNNs: A Hierarchical Approach for Accurate Disease Identification., and . ICSCA, page 159-164. ACM, (2024)