Search results for: Martin Lukasiewycz
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 11 > 1790 - 1803
IEEE Transactions on Computers > 2017 > 66 > 10 > 1790 - 1803
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2017 > 25 > 3 > 974 - 987
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 2 > 214 - 226
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 11 > 1876 - 1889
Lecture Notes in Computer Science > Evolutionary Multi-Criterion Optimization > Algorithm Improvements > 111-125
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Fault Tolerance > 139-152
Lecture Notes in Computer Science > Parallel Problem Solving from Nature – PPSN X > Hybrid Methods > 919-928
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 56-69
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 4 > 637 - 650