Publicaciones en colaboración con investigadores/as de Royal Institute of Technology (12)

2018

  1. In between resolution and cutting planes: A study of proof systems for pseudo-boolean SAT solving

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Seeking practical CDCL insights from theoretical SAT benchmarks

    IJCAI International Joint Conference on Artificial Intelligence

  3. Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2017

  1. Iterative AWC for distributed SAT

    Frontiers in Artificial Intelligence and Applications

  2. Locality in random SAT instances

    IJCAI International Joint Conference on Artificial Intelligence

  3. On the community structure of bounded model checking SAT problems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Structure features for SAT instances classification

    Journal of Applied Logic, Vol. 23, pp. 27-39

2016

  1. Link prediction in evolutionary graphs the case study of the CCIA network

    Frontiers in Artificial Intelligence and Applications

2004

  1. Genetic fuzzy systems. New developments

    Fuzzy Sets and Systems

  2. Ten years of genetic fuzzy systems: Current framework and new trends

    Fuzzy Sets and Systems

2001

  1. Recent advances in genetic fuzzy systems

    Information Sciences

  2. Ten years of genetic fuzzy systems: Current framework and new trends

    Annual Conference of the North American Fuzzy Information Processing Society - NAFIPS