DPLL-based procedure for equality logic with uninterpreted functions

O. Tveretina

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Vingerafdruk

    Duik in de onderzoeksthema's van 'DPLL-based procedure for equality logic with uninterpreted functions'. Samen vormen ze een unieke vingerafdruk.

    Computer Science