Home » Publication » 16534

Dettaglio pubblicazione

2011, AI*IA 2011: Artificial Intelligence Around Man and Beyond, Pages 177-188 (volume: 6934 LNAI)

Monte-Carlo style UCT search for boolean satisfiability (04b Atto di convegno in volume)

Alessandro Previti, Raghuram Ramanujan, SCHAERF Marco, Bart Selman

DOI: 10.1007/978-3-642-23954-0_18
ISBN: 9783642239533, 97...
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma