Institutional Repository
Technical University of Crete
EN  |  EL

Search

Browse

My Space

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

Is File of Item: Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής
URIhttp://purl.tuc.gr/dl/dias/0B559102-4748-4F1D-A6AF-7EA6AE4B9D3E-
Title of the FileΥλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής-
Access Restrictionsfree-
Date of Availability2014-03-24-
Content Typeapplication/pdf-

Export

Download

Preview

Share