Τεχνικές εύρεσης άνω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησημότητας λογικών τύπων BOOLE
Σε αυτήν την εργασία θα ασχοληθούμε με το σημαντικό πρόβλημα της ικανοποιησημότητας ενός τυχαίου λογικού τύπου. Συγκεκριμένα θα ασχοληθούμε με λογικούς τύπους του 3-SAT, δηλαδή με λογικούς τύπους που αποτελούνται από συζεύξεις προτάσεων όπου κάθε πρόταση περιέχει διαζεύξεις από τρία λεκτικά, τα οποί...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Greek |
| Published: |
2015
|
| Subjects: | |
| Online Access: | https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=*9D*01*ACtuJPz*7Ek*FF*0E*3D*0C*7C*87&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2004%20.1.77206&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2 http://hdl.handle.net/11610/8030 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|