Το πρόβλημα της ικανοποιησιμότητας: ευρετικές και μεθευρετικές μέθοδοι επίλυσης
Published in Aristotle University of Thessaloniki • Jan 1, 2013
Authors:
Ισμήνη Γεωργίου Παπαδημητρούλα
Abstract
Το πρόβλημα ικανοποιησιμότητας είναι κεντρικό στην υπολογιστική θεωρία τόσο εξαιτίας του ότι αποτελεί τον πυρήνα των υπολογιστικά πλήρων προβλημάτων, όσο και διότι πολλά προβλήματα επιστημονικών και τεχνολογικών εφαρμογών ανάγονται στο πρόβλημα ικανοποιησιμότητας. Το πλήθος των αλγορίθμων που αναπτύ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!