TY  - RPRT
TI  - Computer science. Satisfied with physics.
AU  - Carla P Gomes
AU  - Bart Selman
PY  - 2002
DO  - 10.1126/science.1074599
UR  - https://pubmed.ncbi.nlm.nih.gov/12161641/
ID  - 12161641
ER  -