Showing 1 - 20 results of 122 for search 'POLYNOMIALS' Narrow Search
12
Academic Journal

Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Relation: https://dl.acm.org/citation.cfm?doid=3301291.3265985; info:eu-repo/grantAgreement/MINECO/1PE/TIN2013-48031-C4-1-P; info:eu-repo/grantAgreement/EC/H2020/648276/EU/A Unified Theory of Algorithmic Relaxations/AUTAR

18
Academic Journal

Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Relation: http://dl.acm.org/citation.cfm?doid=2894199.2898435; info:eu-repo/grantAgreement/MINECO/1PE/TIN2013-48031-C4-1-P; info:eu-repo/grantAgreement/EC/FP7/279611/EU/Understanding the Hardness of Theorem Proving/UTHOTP