Search Results - Franga, F.M.G.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    SATyrus: a SAT-based neuro-symbolic architecture for constraint processing

    SATyrus: a SAT-based neuro-symbolic architecture for constraint processing by Lima, P.M.V., Morveli-Espinoza, M.M., Pereira, G.C., Franga, F.M.G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: