Zobrazeno 1 - 10
of 59
pro vyhledávání: '"511.324"'
Autor:
Anscombe, William George
We investigate definability in henselian fields. Specifically, we are interested in those sets and substructures that are existentially definable or definable with `few' parameters. Our general approach is to use various versions of henselianity to u
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039
Autor:
Petke, Justyna
A wide range of problems can be formalized as a set of constraints that need to be satisfied. In fact, such a model is called a constraint satisfaction problem (CSP). Another way to represent a problem is to express it as a formula in propositional l
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572891
Autor:
Gregory, Peter
This thesis examines the question of how it is possible to improve search techniques by better understanding hidden structure in Boolean Satisfiability problems. The backdoor structure, once found, makes a Satisfiability problem easy. This work provi
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.488552
Autor:
Δρόσος, Κων/νος, Τσερπές, Ν., Φιλίππου, Α.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1047::47c677c9ca1fa9c301d05c40f358b3ec
http://nemertes.lis.upatras.gr/jspui/handle/10889/1914
http://nemertes.lis.upatras.gr/jspui/handle/10889/1914
Autor:
Μαρκάκης, Γεώργιος
Στη διατριβή αυτή θα ασχοληθούμε με την Μπουλιανή ανάλυση σαν μια κατ'ευθείαν γενίκευση της μη συμβατικής ανάλυσης του Robinson, δηλ. της θεω
Externí odkaz:
http://hdl.handle.net/10889/8489
Autor:
Δρόσος, Κωνσταντίνος, Markakis, Georgios, Κυρούσης, Ελευθέριος, Τσερπές, Νικόλαος, Αναπολιτάνος, Διονύσιος, Στρατηγόπουλος, Δημήτριος
Στη διατριβή αυτή θα ασχοληθούμε με την Μπουλιανή ανάλυση σαν μια κατ'ευθείαν γενίκευση της μη συμβατικής ανάλυσης του Robinson, δηλ. της θεω
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1047::8bcd902efe8def4166818ed524d2e9ac
http://hdl.handle.net/10889/8489
http://hdl.handle.net/10889/8489
