We present XH-search, a Hex connection finding algorithm. XH-search extends Anshelevich’s H-search by incorporating a new crossing rule to find braids, connections built from overlapping subconnections.

Answer-Set Programming (ASP) is an established declarative programming paradigm. However, classical ASP lacks subprogram calls as in procedural programming, and access to external computations (like remote procedure calls) in general. The feature is desired for increasing modularity and—assuming proper access in place—(meta-)reasoning over subprogram results. While HEX-programs extend classical...

We present an algorithm which determines the outcome of an arbitrary Hex game-state by finding a winning virtual connection for the winning player. Our algorithm performs a recursive descent search of the game-tree, combining fixed and dynamic game-state virtual connection composition rules with some new Hex game-state reduction results based on move domination. The algorithm is powerful enough...

We present an algorithm which determines the outcome of an arbitrary Hex game-state by finding a winning virtual connection for the winning player. Our algorithm performs a recursive descent search of the game-tree, combining fixed and dynamic game-state virtual connection composition rules with some new Hex game-state reduction results based on move domination. The algorithm is powerful enough...

HEX-programs extend ASP by external sources. In this paper, we present domain-specific existential quantifiers on top of HEX-programs, i.e., ASP programs with external access which may introduce new values that also show up in the answer sets. Pure logical existential quantification corresponds to a specific instance of our approach. Programs with existential quantifiers may have infinite groun...

introduction: cleaner productions in textile industry is achieved by reducing water and chemicals’ consumption, saving energy, reducing production of air pollution and solid wastes, reducing toxicity and noise pollution through many solutions. the purpose of the present research was to apply strengths, weaknesses, opportunities, threats (swot) and quality systems planning matrix (qspm) techniqu...

the main purpose of this paper is survy of factors associated with reliance of external auditors on entenal adutors work , reliance on internal auditors work has significant influence on cost saving and obtaining more services to client with the same cost. optimal utilization of internal audit work can improve both the efficiency and the effectiveness of external audits and can enhance the valu...

the accomplished researches show that in order to have better external service quality, the organizations need to have personnel (internal customers) responsibility to the objectives and visions of the organization and possess customer-oriented behaviors, and proper internal service (the satisfaction of departments with one another). in these times, after the consideration of internal marketing...

purpose: this paper has two main goals: first, to evaluate the position of geological survey of iran library through the assessment of internal (strengths and weaknesses) and external (opportunities and threats) environment; and then, provide solutions and strategies to help library managers and administrators to achieve their goals, missions and visions. methodology: among the existing models,...

Monte-Carlo tree search (MCTS) is a heuristic search algorithm that has recently been very successful in the games of Go and Hex. In this paper, we describe an MCTS player for the game of Poly-Y, which is a connection game similar to Hex. Our player won the CodeCup 2014 AI programming competition. Our player uses MCTS with the all-moves-as-first heuristic, and detects basic heuristic patterns t...