| |
# of records = 114
homepages/s/BartSelman conf/ijcai/KrocSGS09 conf/sac/KrocSS09 conf/sat/KrocSS09 series/faia/KautzSS09 series/faia/GomesSS09 conf/cpaior/KrocSS08 conf/nips/KrocSS08 conf/aaai/HoeveGSL07 conf/aaai/GomesHSS07 conf/ictai/GuoS07 conf/ijcai/VetsikasJS07 conf/ijcai/HoffmannGSK07 conf/ijcai/GomesHSS07 conf/semweb/GomesHSS07 conf/sat/GomesHSS07 journals/corr/abs-cs-0701184 journals/dam/KautzS07 journals/lmcs/HoffmannGS07 journals/sigecom/VetsikasS07 conf/aaai/GomesSS06 conf/aips/HoffmannGS06 conf/ilp/Selman06 conf/nips/GomesSS06 conf/sat/SabharwalAGHS06 conf/aaai/AnsoteguiGS05 conf/ACMicec/VetsikasS05 conf/sat/WeiS05 journals/ai/BejarDFGKSV05 journals/constraints/GomesFSB05 journals/jar/BoufkhadDIS05 conf/aaai/WeiES04 conf/atal/VetsikasS04 conf/cp/GomesFSB04 conf/cp/Selman04 conf/sat/JiaMS04 conf/sat/JiaMS04a conf/atal/VetsikasS03 conf/cp/KautzS03 conf/ijcai/WilliamsGS03 conf/ijcai/BejarDFGSV03 conf/ijcai/ErenrichS03 conf/kdd/HopcroftKKS03 conf/aaai/KautzHRGS02 conf/cp/WeiS02 conf/cp/ChenGS01 conf/ijcai/KautzRAGSS01 conf/uai/HorvitzRGKSC01 journals/ai/GomesS01 journals/endm/KautzS01 journals/endm/KautzRAGSS01 journals/endm/HorvitzRGKSC01 journals/tcs/DuboisMSZ01 conf/aaai/AchlioptasGKS00 conf/cp/KrishnamachariXSW00 conf/icml/HuangSK00 conf/lics/Selman00 journals/aim/LongKSBGKBHRAWSF00 journals/amai/Selman00 journals/ijait/GomesS00 journals/jar/GomesSCK00 conf/aaai/HuangSK99 conf/ictai/GomesS99 conf/ictai/GomesS99a conf/ijcai/KautzS99 journals/rsa/MonassonZKST99 conf/aaai/GomesSK98 conf/aips/KautzS98 conf/aips/GomesSMT98 conf/aaai/GomesS97 conf/aaai/McAllesterSK97 conf/cp/GomesSC97 conf/ijcai/SelmanKM97 conf/uai/GomesS97 journals/aim/KautzSS97 journals/cacm/KautzSS97 conf/aaai/KautzSM96 conf/aaai/KautzS96 conf/aaai/SelmanBDHMN96 conf/kr/KautzMS96 journals/csur/Selman96 journals/ai/SelmanML96 journals/ai/SelmanK96 journals/ai/SelmanL96 journals/jacm/SelmanK96 conf/icdcs/OrdilleDGLS95 conf/ijcai/FreuderDGST95 conf/ijcai/GogicKPS95 conf/ijcai/Selman95 journals/ai/KautzKS95 conf/aaai/KautzS94 conf/aaai/SelmanKC94 conf/aaai/KautzSCKR94 conf/ecai/Selman94 conf/kr/Selman94 journals/cacm/KautzSC94 conf/aaai/KautzKS93 conf/aaai/SelmanK93 conf/ictai/Selman93 conf/ijcai/SelmanK93 journals/ai/SelmanL93 conf/aaai/SelmanLM92 conf/aaai/MitchellSL92 conf/aaai/KautzS92 conf/ecai/KautzS92 conf/ecai/KautzS92a conf/aaai/SelmanK91 conf/pdk/KautzS91 journals/ai/KautzS91 conf/aaai/SelmanL90 journals/ai/SelmanK90 conf/ijcai/SelmanL89 conf/kr/KautzS89 conf/nmr/SelmanK88
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)