Solving Quantitative Equations
Completion requirements
PDF
Click IJCAR_talk_FMAR.pdf link to view the file.