( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Model Checking Using SAT Procedures instead of BDDs.

, , , , и . DAC, стр. 317-320. ACM Press, (1999)

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.

Toko Fujita

Masahiro Noguchi

Buntaro Fujita

Masahiro Ogawa

Masayuki Fujita

 

Другие публикации лиц с тем же именем

Formal verification - prove it or pitch it., , , , , , , , и . DAC, стр. 710-711. ACM, (2003)Lateral State Prediction for Automated Steering using Reliability-Weighted Measurements from Multiple Sensors., , и . ITSC, стр. 461-466. IEEE, (2007)Test pattern generation for multiple stuck-at faults not covered by test patterns for single faults., , , и . ISCAS, стр. 1-4. IEEE, (2017)Performance Estimation with Automatic False-Path Detection for System-Level Designs., , и . IPSJ Trans. Syst. LSI Des. Methodol., (2010)Kinetic analysis in human brain of 11C(R)-rolipram, a positron emission tomographic radioligand to image phosphodiesterase 4: A retest study and use of an image-derived input function., , , , , , , , и . NeuroImage, 54 (3): 1903-1909 (2011)SAT-based Silicon Debug of Electrical Errors under Restricted Observability Enhancement., , и . J. Electron. Test., 35 (5): 655-678 (2019)Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design.. Proc. IEEE, 103 (11): 2052-2060 (2015)Jamming layered membrane gripper mechanism for grasping differently shaped-objects without excessive pushing force for search and rescue missions., , , , , , , и . Adv. Robotics, 32 (11): 590-604 (2018)Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams., , и . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 86-A (12): 3192-3199 (2003)Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization., , , , , , , , , и 31 other автор(ы). CoRR, (2020)