Skip to main content

2 Result(s)

within Jordi Planes Remove this filter Engineering Remove this filter English Remove this filter

and

  1. Article

    Open Access

    Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis

    The automated analysis of different trends in online debating forums is an interesting tool for sampling the agreement between citizens in different topics. In previous work, we have defined computational mode...

    Teresa Alsinet, Josep Argelich, Ramón Béjar… in International Journal of Computational Int… (2022)

    Download PDF (1797 KB) View Article

  2. No Access

    Chapter

    Algorithms for Maximum Satisfiability Using Unsatisfiable Cores

    Many decision and optimization problems in electronic design automation (EDA) can be solved with Boolean satisfiability (SAT). These include binate covering problem (BCP), pseudo-Boolean optimization (PBO), qu...

    Joao Marques-Sila, Jordi Planes in Advanced Techniques in Logic Synthesis, Op… (2011)