Exportar registro bibliográfico

Search strategies and phase transitions in the random boolean satisfiability problem (2020)


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