Get started
Source

Proceedings/Proceedings - International Symposium on Multiple-Valued Logic

ISSNs: 0195-623X, 2378-2226
Source type: conference
Alternate names: ISMLV, Proceedings of the ... International Symposium on Multiple-Valued Logic, 2010 40th IEEE International Symposium on Multiple-Valued Logic, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, IEEE International Symposium on Multiple-Valued Logic (ISMVL), International Symposium on Multiple-Valued Logic
Fully OA: No
DOAJ: No
OpenAlex ID: S4210220027
RevLib: An Online Resource for Reversible Functions and Reversible Circuits
2008 · Robert Wille, Daniel Gro, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 508
QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits
2006 · D.M. Miller, M.A. Thornton · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 164
Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates
2011 · D. Michael Miller, Robert Wille, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 141
Implementing a multiple-valued decision diagram package
2002 · D.M. Miller, R. Drechsler · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 89
Decomposition of multiple-valued functions
2002 · T. Luba · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 84
Equivalence Checking of Reversible Circuits
2009 · Robert Wille, Daniel Große, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 74
On the construction of multiple-valued decision diagrams
2003 · D.M. Miller, R. Drechsler · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 67
Reducing Reversible Circuit Cost by Adding Lines
2010 · D. Michael Miller, Robert Wille, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 64
Multi-output Galois field sum of products synthesis with new quantum cascades
2004 · M.H.A. Khan, M.A. Perkowski, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 63
On axiomatic characterization of fuzzy approximation operators. II. The rough fuzzy set based case
2002 · H. Thiele · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 61
On universality of general reversible multiple-valued logic gates
2004 · P. Kerntopf, M.A. Perkowski, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 55
Data envelopment analysis using fuzzy concept
2002 · C. Kahraman, E. Tolga · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 52
Quaternary Look-Up Tables Using Voltage-Mode CMOS Logic Design
2007 · Ricardo Cunha, Henri Boudinov, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 49
Approaching the Physical Limits of Computing
2005 · M.P. Frank · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 49
Ternary decision diagrams. Survey
2002 · T. Sasao · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 49
Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits
2016 · Nabila Abdessaied, Matthew Amy, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 48
Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper)
2010 · Joao Marques-Silva · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 48
Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares
2008 · Daniel Grosse, Robert Wille, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 47
A synthesis method for MVL reversible logic [multiple value logic]
2004 · D.M. Miller, G.W. Dueck, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 47
Transformations between signed and classical clause logic
2003 · B. Beckert, R. Hahnle, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 47
Multi-valued functional decomposition as a machine learning method
2002 · C.M. Files, M.A. Perkowski · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 45
Test Generation and Fault Localization for Quantum Circuits
2005 · M. Perkowski, J. Biamonte, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 44
From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits
2011 · Rolf Drechsler, Robert Wille · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 42
Silicon single-electron devices and their applications
2002 · Y. Takahashi, A. Fujiwara, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 42
Decomposition of multiple-valued relations
2002 · M. Perkowski, M. Marek-Sadowska, et al. · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic · 41
Works count: 1,696
Citation count: 10,490
H-index: 35
I10-index: 310
2yr mean citedness: 0.459
Year
Topic
Type