No. Title Author Year
1 A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy Engels, Stefan et al. 2023
2 Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond Berent, Lucas et al. 2022
3 Design of Microfluidic Biochips (Dagstuhl Seminar 15352) Chakrabarty, Krishnendu et al. 2016
4 Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502) Morita, Kenichi et al. 2012
5 SWORD -- Module-based SAT Solving Wille, Robert et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 5

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI