Exportar registro bibliográfico


Metrics:

Tunneling between plateaus: improving on a state-of-the-art MAXSAT solver using partition crossover (2018)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024