top
new
show
ask
jobs
about

Propagation via lazy clause generation (2009)

link.springer.com

3 points by teleforce 16 hours ago