| | |
# of records = 9
homepages/85/828 conf/cade/BiereLS11 conf/sat/LonsingB11 conf/sat/LonsingB10 conf/sat/BrummayerLB10 journals/jsat/LonsingB10 conf/sat/LonsingB09 journals/entcs/LonsingB09 conf/sat/LonsingB08
Last update 2012-02-17 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page