| |
# of records = 65
homepages/b/ArminBiere series/faia/2009-185 conf/eurocast/BrummayerB09 conf/lpnmr/Biere09 conf/sat/SorenssonB09 conf/sat/LonsingB09 conf/tacas/BrummayerB09 series/faia/Biere09 journals/entcs/LonsingB09 conf/ab/Biere08 conf/fmcad/BiereB08 conf/sat/LonsingB08 conf/sat/Biere08 journals/jsat/Biere08 conf/cav/BrummayerB07 conf/eurocast/ArthoZBSH07 conf/sat/JussilaBSKW07 journals/entcs/StrichmanB07 journals/entcs/JussilaB07 conf/sat/2006 conf/csr/SinzB06 conf/fm/ArthoBH06 conf/fmco/ArthoBH06 conf/sat/JussilaSB06 journals/corr/abs-cs-0611029 journals/entcs/BiereS06 journals/entcs/SchuppanB06 journals/jsat/BiereS06 journals/lmcs/BiereHJLS06 conf/sat/EenB05 conf/sdl/HaroudB05 conf/tacas/SchuppanB05 conf/vmcai/LatvalaBHJ05 journals/entcs/SchuppanBB05 journals/entcs/BiereS05 journals/entcs/ArthoB05 journals/entcs/ArthoB05a journals/sttt/PrasadBG05 journals/sttt/BiereS05 conf/atva/ArthoHB04 conf/cav/ArthoSBEBZ04 conf/fmcad/LatvalaBHJ04 conf/sat/Biere04 conf/sat/Biere04a journals/sttt/SchuppanB04 conf/nddl/ArthoHB03 journals/ac/BiereCCSZ03 journals/dam/PlaistedBZ03 journals/entcs/BiereAHS03 journals/fac/SchuppanB03 journals/stvr/ArthoHB03 conf/iccad/BiereK02 journals/entcs/BiereAS02 journals/fmsd/BerezinCBZ02 conf/aswec/ArthoB01 journals/fmsd/ClarkeBRZ01 conf/cav/WilliamsBCG00 conf/cav/BiereCRZ99 conf/birthday/BiereCZ99 conf/dac/BiereCCFZ99 conf/tacas/BiereCCZ99 journals/entcs/BiereCZ99 conf/fmcad/YangBOBCJRS98 conf/fmcad/BerezinBCZ98 conf/cav/Biere97
Copyright © 2009-11-20 by Michael Ley (ley@uni-trier.de)