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

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

Export