scientific article; zbMATH DE number 7301529
From MaRDI portal
Publication:5146650
zbMath1456.68181MaRDI QIDQ5146650
Publication date: 26 January 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2009.4
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Computational aspects of satisfiability (68R07)
This page was built for publication: