Integrating a simplified formula graph representation into a graph neural network model for premise selection
International Journal
  Year of publication
              2025
          Pagination
              113318
          Keywords
          
      DOI
              https://doi.org/10.1016/j.asoc.2025.113318
          Journal
              Applied Soft Computing
          ISSN Number
              1568-4946
          URL
              https://www.sciencedirect.com/science/article/pii/S1568494625006295
          . “Integrating A Simplified Formula Graph Representation Into A Graph Neural Network Model For Premise Selection”. Applied Soft Computing, 2025, p. 113318.
Documento
              
          Altamente citado
              Off
          Hot paper
              Off
          Número especial
              Off
           
    
    
  
  
 