Hoonsang Jin

From MaRDI portal
Person:2849594

Available identifiers

zbMath Open jin.hoonsangMaRDI QIDQ2849594

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q34480002015-10-28Paper
An incremental algorithm to check satisfiability for bounded model checking2013-09-20Paper
Efficient Term-ITE Conversion for Satisfiability Modulo Theories2009-07-07Paper
Disequality management in integer difference logic via finite instantiations.2007-10-09Paper
Theory and Applications of Satisfiability Testing2005-12-16Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
Computer Aided Verification2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q44722502004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44722592004-08-04Paper

Research outcomes over time

This page was built for person: Hoonsang Jin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2849594&oldid=7649049"
Powered by MediaWiki