| |
# of records = 36
homepages/70/5975 conf/sat/CreignouDER09 journals/corr/abs-0907-0937 conf/dagstuhl/2008coc conf/csl/CreignouSS08 conf/dagstuhl/CreignouV08 conf/ismvl/ChepoiCHS08 conf/sat/CreignouDER08 journals/jcss/CreignouKZ08 journals/mst/CreignouHKS08 journals/eccc/VollmerBBCRS07 journals/jair/CreignouDE07 conf/dagstuhl/2006P6401 conf/dagstuhl/CreignouKV06a conf/dagstuhl/CreignouKV06 journals/siamcomp/CreignouZ06 journals/amai/ChapdelaineC05 journals/dam/CreignouDF05 journals/eccc/ECCC-TR05-024 journals/eccc/ECCC-TR05-119 conf/sat/BaulandCCHV04 conf/sat/BaulandCCHV04a journals/iandc/CreignouD04 journals/cpc/CreignouDD03 journals/ita/CreignouD03 journals/tcs/CreignouD03 journals/corr/cs-DM-0106001 journals/dam/CreignouD99 journals/ipl/Creignou98 journals/ita/CreignouH97 journals/logcom/CreignouM97 journals/amai/Creignou96 journals/iandc/CreignouH96 journals/jcss/Creignou95 journals/tcs/Creignou95 conf/csl/Creignou92
Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)