Folgen
Mohamed Nadeem
Titel
Zitiert von
Zitiert von
Jahr
Plausibility Reasoning via Projected Answer Set Counting-A Hybrid Approach.
JK Fichte, M Hecher, MA Nadeem, TU Dresden
IJCAI 22, 2620-2626, 2022
92022
Polynomial Formal Verification exploiting Constant Cutwidth
M Nadeem, J Kleinekathöfer, R Drechsler
22023
Polynomial Formal Verification of Adder Circuits Using Answer Set Programming
M Nadeem, J Kleinekathöfer, R Drechsler
22023
Polynomial Formal Verification of Approximate Adders with Constant Cutwidth
M Nadeem, C Kumar Jha, R Drechsler
29th IEEE European Test Symposium, 2024
2024
Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures
M Nadeem, R Drechsler
IEEE International Symposium on Multiple-Valued Logic, 2024
2024
A Polynomial Approach for finding Most Specific Concept wrt General EL-TBoxes
MAAL Nadeem
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6