Title of article
Efficient theory combination via boolean search
Author/Authors
Marco Bozzano، نويسنده , , Roberto Bruttomesso، نويسنده , , Alessandro Cimatti، نويسنده , , Tommi Junttila، نويسنده , , Silvio Ranise، نويسنده , , Peter van Rossum، نويسنده , , Roberto Sebastiani، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
33
From page
1493
To page
1525
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262371
Link To Document