# Instance Class BlockedN-QueensCompetition

Class Tree The blocked N-queens problem is a variant of the N-queens problem. In the blocked N-queens problem we have an N X N board and N queens. Each square on the board can hold at most one queen. Some squares on the board are blocked and cannot hold any queen. A conflict arises when any two queens are assigned to the same row, column or diagonal. A blocked N-queens is an assignment of the N queens to the non-blocked squares of the board in a conflict-free manner. The input of the blocked N-queens problem specifies the blocked squares on the board, and the number N of queens. Input Format ============ The input of the blocked N-queens problem specifies the blocked squares on the board, and the number N of queens. Input data are stored in a plain text file, The format of the file is as follows: a. The file starts with N lines that define the size of the problem (the number of queens, and all row and column indices) using a predicate "num" . num(1). num(2). ... num(N). b. The file then specifies the squares on the board that are blocked, using a predicate "block" . Each line has the form "block(i,j).", meaning that the square in row i and column j is blocked. Example input: num(1). num(2). num(3). num(4). block(1,1). block(2,2). block(4,3). Output Requirement ================== The solution must be encoded by a binary predicate "queen" , where "queen(i,j)" stands for "there is a queen in square (i,j)''. For the example input given above, the following is a valid assignment: queen(2,1) queen(4,2) queen(1,3) queen(3,4) The corresponding answer set produced by a solver must contain exactly these ground atoms of the form queen(i,j) . Authors: Gayathri Namasivayam and Miroslaw Truszczynski Affiliation: University of Kentucky Email: {gayathri, mirek}@cs.uky.edu Martin Gebser block/2num/1 156.48.1960.36.1721237620.dat     156.48.1960.36.1721246615.dat     156.48.1960.36.1721258111.dat     156.48.1960.36.1721259656.dat     156.48.1960.36.1721262093.dat     156.48.1960.36.1721271217.dat     156.48.1960.36.1721277539.dat     156.48.1960.36.1721283013.dat     156.48.1960.36.1721284464.dat     156.48.1960.36.1721286911.dat     156.48.1960.36.1721297189.dat     156.48.1960.36.1721298636.dat     156.48.1960.36.1721301641.dat     156.48.1960.36.1721303981.dat     156.48.1960.36.1721305339.dat     156.48.1960.36.1721308471.dat     156.48.1960.36.1721310106.dat     156.48.1960.36.1721310593.dat     156.48.1960.36.1721315836.dat     156.48.1960.36.1721319768.dat    un-/mark all