SEARCH ALGORITHM FOR SHORTEST SYNCHRONIZING SEQUENCES USING BOOLEAN SATISFIABILI
By: Liudmila Cheremisinova (3305 reads)
Rating:
(1.00/10)
article:
SEARCH ALGORITHM FOR SHORTEST SYNCHRONIZING SEQUENCES USING BOOLEAN SATISFIABILI
· SAT-BASED METHOD OF VERIFICATION USING LOGARITHMIC ENCODING
· USING SAT FOR COMBINATIONAL IMPLEMENTATION CHECKING
· SAT-BASED METHOD OF VERIFICATION USING LOGARITHMIC ENCODING
· SIMULATION-BASED APPROACH TO VERIFICATION OF ...
·
|
Login World Clock |