Ιδρυματικό Αποθετήριο
Πολυτεχνείο Κρήτης
EN  |  EL

Αναζήτηση

Πλοήγηση

Ο Χώρος μου

Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής

Αποτελεί Αρχείο του Τεκμηρίου: Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής
URIhttp://purl.tuc.gr/dl/dias/0B559102-4748-4F1D-A6AF-7EA6AE4B9D3E-
Τίτλος ΑρχείουΥλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής-
Περιορισμοί Πρόσβασηςfree-
Ημερομηνία Διάθεσης2014-03-24-
Τύπος Περιεχομένουapplication/pdf-

Εξαγωγή

Λήψη

Προεπισκόπηση

Κοινοποίηση
 

Copyright © DIAS 2013