skip to main content
Language:
Primo Search
Clear Search Box
Search in: General Search
Advanced Search
Browse Search
Resource type Show Results with: Show Results with: Index

Cliques enumeration and tree-like resolution proofs

Lauria, Massimo

Information processing letters, 2018-07, Vol.135, p.62-67 [Peer Reviewed Journal]

Elsevier B.V

Full text available

Citations Cited by
Back to results list

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
  • Show me what you have so far