Home » Publication » 16536

Dettaglio pubblicazione

2011, Theory and Applications of Satisfiability Testing - SAT 2011, Pages 373-374 (volume: 6695)

Applying UCT to Boolean Satisfiability (04b Atto di convegno in volume)

Alessandro Previti, Raghuram Ramanujan, Schaerf Marco, Bart Selman

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