نتایج جستجو برای: puzzles
تعداد نتایج: 3721 فیلتر نتایج به سال:
Smullyan wrote his famous book of puzzles before the boom in automated theorem proving. Hence it is interesting, that all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux.
n × n Sudoku puzzles can be straightforwardly encoded as SAT problems. However, solving such puzzles for large n requires a significant amount of optimization. We present some ideas for reducing the number of clauses, for improving the encoding, and for the selection of suitable SAT solvers.
Path Puzzles are a type of logic puzzle introduced in Roderick Kimball’s 2013 book [5]. A puzzle consists of a (rectangular) grid of cells with two exits (or “doors”) on the boundary and numerical constraints on some subset of the rows and columns. A solution consists of a single non-intersecting path which starts and ends at two boundary doors and which passes through a number of cells in each...
Various cryptographic puzzle schemes have been proposed as defenses against Denial of Service (DoS) attacks. However, these schemes have two common shortcomings that diminish their effectiveness as a DoS mitigation solution. First, the DoS-resilience that these schemes provide is minimized when there is a large disparity between the computational power of malicious and legitimate clients. Secon...
Engaging students in practicing a wide range of problems facilitates their learning. However, generating fresh problems that have specific characteristics, such as using a certain set of concepts or being of a given difficulty level, is a tedious task for a teacher. In this paper, we present PuzzleJAR, a system that is based on an iterative constraintbased technique for automatically generating...
Denial of Service (DoS) attacks aiming to exhaust the resources of a server by overwhelming it with bogus requests have become a serious threat. Especially protocols that rely on public key cryptography and perform expensive authentication handshakes may be an easy target. A well-known countermeasure against resource depletion attacks are client puzzles. The victimized server demands from the c...
RNA-Puzzles is a collective experiment in blind 3D RNA structure prediction. We report here a third round of RNA-Puzzles. Five puzzles, 4, 8, 12, 13, 14, all structures of riboswitch aptamers and puzzle 7, a ribozyme structure, are included in this round of the experiment. The riboswitch structures include biological binding sites for small molecules (S-adenosyl methionine, cyclic diadenosine m...
Introduction: Incorporation of active-learning methods into classroom allows students to be motivated and enhances their learning experience. Crossword puzzles are found to be an interesting educational tool for teaching medical students as it evokes interest, motivates, enhances their critical thinking, allowsa better understanding of concepts, and helps in reinforcing the material acquired du...
Abstract Critical comments on Guido Melchior’s book, Knowing and Checking: An Epistemological Investigation (2019). In the second part of his Melchior aims to employ sensitivity account epistemic concept checking explain well-known puzzle cases about knowing . My focus explanation knowledge-closure puzzles, as exemplified by Dretske’s zebra case. I raise three critical points proposes for puzzl...
We consider apictorial edge-matching puzzles, in which the goal is to arrange a collection of puzzle pieces with colored edges so that the colors match along the edges of adjacent pieces. We devise an algebraic representation for this problem and provide conditions under which it exactly characterizes a puzzle. Using the new representation, we recast the combinatorial, discrete problem of solvi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید