Dr Muhammad Naeem

Dr Muhammad Naeem

Assoiate Professor & Chairman at Department of CS, Abbottabad University of Science & …
Dirección de correo verificada de aust.edu.pk
Citado por 3863
Software Product Lines Feature Models Requirements Engineering Linear Logic Propositional Logic
Chico Sundermann

Chico Sundermann

PhD Student, Institute of Software Engineering and Programming Languages, University …
Dirección de correo verificada de uni-ulm.de
Citado por 462
Feature Modeling Propositional Logic #SAT Model Counting Knowledge Compilation
Gonzalo E. Imaz

Gonzalo E. Imaz

IIIA-CSIC
Citado por 328
propositional logic first-order logic automated reasoning satisfiability modulo theory answer set programming
Ju Chen

Ju Chen

Associate Professor at Chengdu University of Traditional Chinese Medicine
Dirección de correo verificada de cdutcm.edu.cn
Citado por 136
Deep Learning Traditional Chinese Medicine Artificial Intelligence Propositional Logic Data Mini
Vu Hoang Nguyen Phan

Vu Hoang Nguyen Phan

Intel Corporation, Rice University
Dirección de correo verificada de rice.edu
Citado por 119
Propositional Logic Model Counting Maximum Satisfiability
Carlos A. Canales

Carlos A. Canales

London School of Economics (LSE)
Dirección de correo verificada de alumni.lse.ac.uk
Citado por 28
Analytics & Business Intelligence Propositional Logic
Eugene Gluschenko (ORCID: 0000-0002-0262-5798)

Eugene Gluschenko (ORCID: 0000-0002-0262-5798)

senior lecturer, National Technical University “Kharkiv Polytechnic Institute” (grid.18192.33 …
Dirección de correo verificada de kpi.kharkov.ua
analytic philosophy semantics propositional logic