dblp keys for David G. Mitchell

David G. Mitchell

Keys

# of data records = 33

homepages/m/DavidGMitchell conf/lpar/0001TM17 journals/corr/BogaertsTM16 conf/lpnmr/MitchellT15 journals/tplp/AavaniTM13 conf/sara/AavaniMT13 conf/lpar/AavaniWTTM12 conf/ai/AavaniWTM11 journals/corr/abs-1109-1317 conf/lpar/AavaniTUTM10 conf/lpar/KolokolovaLMT10 conf/ijcai/TernovskaM09 journals/constraints/MitchellT08 conf/lpar/MitchellHM07 conf/sat/Buresh-OppenheimM07 conf/lpar/KavanaghMTMZG06 conf/sat/Buresh-OppenheimM06 journals/dam/BeameCMM05 journals/eatcs/Mitchell05 conf/aaai/MitchellT05 conf/cp/HwangM05 conf/sat/2004lncs journals/eccc/ECCC-TR04-012 conf/cp/Mitchell03 phd/ca/Mitchell02 conf/cp/Mitchell02 journals/eccc/ECCC-TR01-074 conf/aaai/Mitchell98 journals/ai/SelmanML96 journals/ai/MitchellL96 conf/dimacs/CookM96 conf/aaai/SelmanLM92 conf/aaai/MitchellSL92

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.