GRASP bibliography: Logic

  1. Procedimientos para la localización de áreas de aportación de residuos urbanos

    J. Bautista and J. Pereira

    In 27 Congreso Nacional de Estadística e Investigación Operativa, Lleida, Spain, April 2003.

  2. Local search methods for learning Bayesian networks using a modified neighborhood in the space of DAGs

    L.M. de Campos, J.<. Fernández-Luna, and J.M. Puerta

    In F. J. Garijo, J.C. Riquelme, and M. Toro, editors, Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings, volume 2527 of Lecture Notes in Computer Science, pages 182-192. Springer, 2002.

  3. A greedy randomized adaptive search procedure (GRASP) for inferring logical clauses from examples in polynomial time and some extensions

    A.S. Deshpande and E. Triantaphyllou

    Mathematical and Computer Modelling, 27:75-99, 1998.

  4. A parallel GRASP for MAX-SAT problems

    P.M. Pardalos, L.S. Pitsoulis, and M.G.C. Resende

    Lecture Notes in Computer Science, 1184:575-585, 1996.

  5. A GRASP for satisfiability

    M.G.C. Resende and T.A. Feo

    In D.S. Johnson and M.A. Trick, editors, Cliques, Coloring, and Satisfiability: The Second DIMACS Implementation Challenge, volume 26 of DIMACS Series on Discrete Mathematics and Theoretical Computer Science, pages 499-520. American Mathematical Society, 1996.

  6. Approximate solution of weighted MAX-SAT problems using GRASP

    M.G.C. Resende, L.S. Pitsoulis, and P.M. Pardalos

    In J. Gu and P.M. Pardalos, editors, Satisfiability problems, volume 35 of DIMACS Series on Discrete Mathematics and Theoretical Computer Science, pages 393-405. American Mathematical Society, 1997.

  7. Fortran subroutines for computing approximate solutions of MAX-SAT problems using GRASP

    M.G.C. Resende, L.S. Pitsoulis, and P.M. Pardalos

    Discrete Applied Mathematics, 100:95-113, 2000.

  8. A heuristic for mining association rules in polynomial time

    E. Yilmaz, E. Triantaphyllou, J. Chen, and T.W. Liao

    Mathematical and Computer Modelling, 37:219-233, 2003.