Search results for: Hyojung Han
International Journal for Educational and Vocational Guidance > 2017 > 17 > 3 > 329-346
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking > 239-253
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Techniques for Conflict-Driven SAT Solvers > 209-222
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Satisfiability > 287-300
Solar Energy Materials and Solar Cells > 2011 > 95 > 7 > 1838-1845
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 8 > 1271 - 1284
2007 44th ACM/IEEE Design Automation Conference > 582 - 587