TY - RPRT TI - Computational science: can get satisfaction. AU - Carla P Gomes AU - Bart Selman PY - 2005 DO - 10.1038/435751a UR - https://pubmed.ncbi.nlm.nih.gov/15944688/ ID - 15944688 ER -