JSAI:Nabeshima10 [Article] |
JSAI:Iwama01 [Article] |
JSAI:Miyashita01 [Article] |
BOOK:Hagiya94 [Book] |
JSAI:BanbaraT10 [Article] |
JSAI:HirayamaY10 [Article] |
JSAI:InoueT10 [Article] |
JSAI:IwanumaN10 [Article] |
JSAI:NabeshimaS10 [Article] |
COMPSOFT:InoueS08 [Article] |
IEICETR-AI:OkamotoI04 [Article] |
JSAI:NabeshimaI01 [Article] |
JSAI:YokooH00 [Article] |
BOOK:ArikawaH88 [Book] |
JSAI:HasegawaFK10 [Article] |
JSAI:TamuraTB10 [Article] |
COMPSOFT:HasegawaFK08 [Article] |
JSAI:HasegawaFK01 [Article] |
TJSAI:HasegawaFK01 [Article] |
SS09:KoshimuraNFH09 [Inproceedings] |
JSSST25:KoshimuraNFH08 [Inproceedings] |
SS07:TagaTKB07 [Inproceedings] |
IEICETR-AI:NabeshimaSII06 [Article] |
SS07:TamuraTBSNI07 [Inproceedings] |
DBLP:conf/ijcai/Kleer89 [Inproceedings] |
DBLP:journals/jair/AdjimanCGRS06 [Article] EE |
DBLP:journals/ai/AmirM05 [Article] EE |
DBLP:conf/sat/AnsoteguiBL09 [Inproceedings] EE |
DBLP:journals/jsat/ArgelichLMP08 [Article] EE |
DBLP:conf/ecp/ArmandoCG99 [Inproceedings] |
DBLP:conf/sat/AudemardBHJS08 [Inproceedings] EE |
DBLP:conf/ijcai/AudemardS09 [Inproceedings] EE |
DBLP:conf/cp/Bacchus07a [Inproceedings] |
DBLP:conf/focs/BacchusDP03 [Inproceedings] EE |
DBLP:conf/cp/BailleuxB03 [Inproceedings] EE |
DBLP:conf/sat/BailleuxBR09 [Inproceedings] EE |
DBLP:journals/jsat/BailleuxBR06 [Article] EE |
DBLP:conf/cp/BandaMRW06 [Inproceedings] |
SMTCOMP [Misc] |
DBLP:conf/frocos/BarrettDS02 [Inproceedings] EE |
DBLP:series/faia/BarrettSST09 [Incollection] EE |
WWW:Bartak98 [Misc] |
DBLP:journals/ai/BaumgartnerT08 [Article] EE |
DBLP:conf/aaai/Pehoushek00 [Inproceedings] |
DBLP:conf/aaai/BayardoS97 [Inproceedings] |
ORS:Beasley90 [Article] |
DBLP:conf/cade/Benedetti05 [Inproceedings] EE |
WWW:SAT4J [Misc] |
DBLP:conf/sat/BessiereHW03 [Inproceedings] |
DBLP:series/faia/Biere09 [Incollection] EE |
DBLP:conf/sat/Biere04a [Inproceedings] EE |
DBLP:conf/tacas/BiereCCZ99 [Inproceedings] EE |
DBLP:journals/jair/BirnbaumL99 [Article] EE |
DBLP:journals/ai/BlumF97 [Article] EE |
DBLP:journals/ai/BonetG01 [Article] EE |
DBLP:journals/csur/BordeauxHZ06 [Article] |
DBLP:journals/jair/Brafman01 [Article] EE |
DBLP:journals/rsa/BraunsteinMZ05 [Article] EE |
DBLP:conf/tableaux/BryY96 [Inproceedings] |
DBLP:journals/tocl/BryantGV01 [Article] EE |
DBLP:journals/amai/BohmS96 [Article] |
DBLP:journals/iandc/BuningKF95 [Article] |
BOOK:ChangL71 [Book] |
JCD:ChateauneufCK02 [Article] |
DBLP:journals/ai/ChenHXZ09 [Article] EE |
IPC6:ChenL08 [Inproceedings] |
DBLP:conf/ausai/ChoiHLS06 [Inproceedings] |
DBLP:journals/pc/ChrabakhW06 [Article] EE |
DBLP:journals/jsat/ChuHS09 [Article] |
SCIENCE:ClearwaterHH91 [Article] |
DBLP:journals/jlp/CodognetD96 [Article] |
DBLP:journals/tse/CohenDFP97 [Article] EE |
DBLP:conf/icse/CohenGMC03 [Inproceedings] EE |
LM:Colbourn04 [Article] |
DBLP:conf/stoc/Cook71 [Inproceedings] |
DBLP:journals/ai/CrawfordA96 [Article] EE |
DBLP:conf/aaai/CrawfordB94 [Inproceedings] |
DBLP:series/faia/DantsinH09 [Incollection] EE |
DBLP:conf/ecai/Darwiche04 [Inproceedings] |
DBLP:journals/jacm/Darwiche01 [Article] EE |
DBLP:conf/aaai/DaviesB07 [Inproceedings] |
DBLP:journals/cacm/DavisLL62 [Article] EE |
DBLP:journals/jacm/DavisP60 [Article] EE |
DBLP:journals/ai/DechterF02 [Article] EE |
DBLP:journals/jar/DequenD06 [Article] EE |
DBLP:conf/ecp/DimopoulosNK97 [Inproceedings] |
DBLP:conf/cp/DimopoulosS06 [Inproceedings] |
CSC06:DongenLR08 [Inproceedings] |
DBLP:journals/jacm/DowneyS78 [Article] EE |
DBLP:journals/jacm/DowneyST80 [Article] EE |
BOOK:Drechsler09 [Book] |
DBLP:conf/aaai/EglyETW00 [Inproceedings] |
DBLP:conf/ijcai/ErnstMW97 [Inproceedings] |
DBLP:journals/jsat/EenS06 [Article] EE |
SAT05:EenS05 [Inproceedings] |
DBLP:conf/sat/EenS03 [Inproceedings] EE |
DBLP:journals/entcs/EenS03 [Article] EE |
DBLP:journals/entcs/FeldmanDH05 [Article] EE |
DBLP:conf/cav/FlanaganJOS03 [Inproceedings] EE |
PHD:Freeman95 [Phdthesis] |
DBLP:conf/sat/FuM06 [Inproceedings] EE |
DBLP:conf/cade/Ganzinger02 [Inproceedings] EE |
DBLP:conf/lics/GanzingerK03 [Inproceedings] EE |
BOOK:GareyJ79 [Book] |
DBLP:conf/cp/Gavanelli07 [Inproceedings] |
DBLP:conf/ijcai/GebserKNS07 [Inproceedings] EE |
DBLP:journals/dam/Gelder08 [Article] |
DBLP:conf/ecai/Gent02 [Inproceedings] |
DBLP:journals/ai/GentMN08 [Article] |
MODREF04:GentN04 [Inproceedings] |
DBLP:conf/aaai/GereviniS98 [Inproceedings] |
DBLP:journals/jsat/GilFS08 [Article] |
DBLP:conf/aiia/GiunchigliaM07 [Inproceedings] EE |
DBLP:conf/ecai/GiunchigliaM06 [Inproceedings] |
DBLP:conf/jelia/GiunchigliaM06 [Inproceedings] EE |
DBLP:journals/ai/GiunchigliaNT03 [Article] EE |
DBLP:conf/cade/GiunchigliaNT01 [Inproceedings] EE |
DBLP:conf/aaai/GogateD07 [Inproceedings] |
DBLP:journals/dam/GoldbergN07 [Article] EE |
DBLP:conf/ijcai/GomesHSS07 [Inproceedings] EE |
DBLP:conf/sat/GomesHSS07 [Inproceedings] EE |
HKR:GomesKSS08 [Incollection] |
DBLP:series/faia/GomesSS09 [Incollection] EE |
DBLP:journals/ai/GomesS01 [Article] EE |
DBLP:conf/cp/GomesSC97 [Inproceedings] |
DBLP:journals/jar/GomesSCK00 [Article] |
DBLP:conf/aaai/GomesSK98 [Inproceedings] |
DBLP:journals/jair/GroveHK94 [Article] |
AOR:GueretP99 [Article] |
DBLP:journals/jsat/HamadiJS08 [Article] |
DBLP:journals/dm/HartmanR04 [Article] EE |
DBLP:conf/cade/HasegawaFK00 [Inproceedings] EE |
BOOK:Hentenryck99 [Book] |
DBLP:journals/jsat/HerasLGS08 [Article] EE |
DBLP:journals/jair/HerasLO08 [Article] EE |
PHD:Heule08 [Phdthesis] |
DBLP:series/faia/HeuleM09 [Incollection] EE |
DBLP:journals/ai/HirayamaY05 [Article] EE |
DBLP:conf/atal/HirayamaY02 [Inproceedings] EE |
DBLP:conf/csclp/HnichPS04 [Inproceedings] EE |
DBLP:journals/constraints/HnichPSS06 [Article] EE |
DBLP:conf/ijcai/HoffmannGSK07 [Inproceedings] EE |
DBLP:conf/aaai/Hogg93 [Inproceedings] |
DBLP:conf/ijcai/Hoos99 [Inproceedings] |
DBLP:conf/cp/Huang08 [Inproceedings] |
DBLP:conf/ijcai/Huang07 [Inproceedings] EE |
SCIENCE:HubermanLH97 [Article] |
DBLP:journals/dam/InoueSUSBT06 [Article] EE |
DBLP:conf/ifip/IwamaM94 [Inproceedings] |
DBLP:conf/soda/IwamaT04 [Inproceedings] EE |
DBLP:journals/jlp/JaffarM94 [Article] |
DBLP:conf/dac/JainC09 [Inproceedings] EE |
DBLP:conf/tacas/JinHS05 [Inproceedings] EE |
DBLP:conf/focs/KarloffZ97 [Inproceedings] EE |
DBLP:journals/combinatorica/Karmarkar84 [Article] |
DBLP:journals/ai/Kasif90 [Article] |
DBLP:conf/aaai/KautzHRGS02 [Inproceedings] |
DBLP:conf/ijcai/KautzS99 [Inproceedings] |
DBLP:conf/aips/KautzS98 [Inproceedings] |
DBLP:conf/aaai/KautzS96 [Inproceedings] |
DBLP:conf/ecai/KautzS92 [Inproceedings] |
AIPS98:KautzS98 [Inproceedings] |
IPC5:KautzSH06 [Inproceedings] |
TIPSJ:KoshimuraIH03 [Article] |
DBLP:conf/ijcai/KrocSGS09 [Inproceedings] EE |
DBLP:conf/cpaior/KrocSS08 [Inproceedings] EE |
TR:Kullmann02 [Techreport] |
DBLP:conf/cav/LahiriS04 [Inproceedings] EE |
DBLP:journals/ai/LarrosaHG08 [Article] EE |
DBLP:conf/hase/LeiT98 [Inproceedings] EE |
DBLP:journals/jar/LetzMG94 [Article] |
DBLP:conf/cp/LiA97 [Inproceedings] |
DBLP:conf/ijcai/LiA97 [Inproceedings] |
DBLP:journals/jair/LiMP07 [Article] EE |
DBLP:journals/ipl/LubySZ93 [Article] |
DBLP:journals/cacm/MalikZ09 [Article] EE |
DBLP:conf/unu/MannaZ02 [Inproceedings] EE |
DBLP:journals/jar/Maric09 [Article] EE |
DBLP:conf/date/Marques-SilvaP08 [Inproceedings] EE |
DBLP:journals/tc/Marques-SilvaS99 [Article] |
DBLP:conf/cav/McMillan02 [Inproceedings] EE |
JCD:MeagherS05 [Article] |
DBLP:conf/ictai/MorgadoS05 [Inproceedings] EE |
DBLP:conf/dac/MoskewiczMZZM01 [Inproceedings] EE |
SCIENCE:MezardPZ02 [Article] |
DBLP:conf/ausai/NabeshimaII02 [Inproceedings] EE |
DBLP:conf/aips/NabeshimaSII06 [Inproceedings] |
ACM-CM:Nelson84 [Inproceedings] |
DBLP:journals/jacm/NelsonO80 [Article] EE |
DBLP:journals/toplas/NelsonO79 [Article] EE |
DBLP:conf/tableaux/Niemela96 [Inproceedings] |
DBLP:conf/cav/NieuwenhuisO05 [Inproceedings] EE |
DBLP:conf/rta/NieuwenhuisO05 [Inproceedings] EE |
DBLP:journals/jacm/NieuwenhuisOT06 [Article] EE |
DBLP:books/el/RV01/NieuwenhuisR01 [Incollection] |
DBLP:journals/dam/Nurmela04 [Article] EE |
DBLP:journals/jacm/Oppen80 [Article] EE |
DBLP:journals/tcs/Oppen80 [Article] |
DBLP:journals/jcss/Oppen78 [Article] |
DBLP:journals/jacm/Papadimitriou81 [Article] EE |
BOOK:Peral88 [Book] |
DBLP:conf/ijcai/PhamTS07 [Inproceedings] EE |
TR:PipatsrisawatD07 [Techreport] |
DBLP:journals/jar/PlaistedZ00 [Article] |
DBLP:series/faia/Prestwich09 [Incollection] EE |
DBLP:conf/sat/Prestwich07 [Inproceedings] EE |
TCP:Prestwich07 [Inbook] |
DBLP:conf/sat/Prestwich03 [Inproceedings] |
DIMACS2:Pretolani93 [Inproceedings] |
DBLP:conf/cade/PerezV07 [Inproceedings] EE |
IEEE-ISM:RaniseT06 [Article] |
DBLP:series/faia/Rintanen09 [Incollection] EE |
DBLP:conf/ecai/Rintanen08 [Inproceedings] EE |
DBLP:conf/kr/Rintanen98 [Inproceedings] |
DBLP:journals/ai/RintanenHN06 [Article] EE |
DBLP:journals/jacm/Robinson65 [Article] EE |
IPC6:RobinsonGP08 [Inproceedings] |
DBLP:journals/ai/Roth96 [Article] EE |
DBLP:conf/aaai/Regin96 [Inproceedings] |
DBLP:conf/aaai/Regin94 [Inproceedings] |
DBLP:conf/sat/SabharwalAGHS06 [Inproceedings] EE |
DBLP:conf/sat/SangBBKP04 [Inproceedings] EE |
AAAI05:SangBK05 [Inproceedings] |
DBLP:journals/jsat/SchubertLB09 [Article] |
DBLP:conf/aaai/SelmanKC94 [Inproceedings] |
DIMACS:SelmanKC96 [Inproceedings] |
DBLP:conf/aaai/SelmanLM92 [Inproceedings] |
DBLP:journals/ai/SelmanML96 [Article] EE |
DBLP:journals/tit/SeroussiB88 [Article] |
DBLP:conf/rta/ShankarR02 [Inproceedings] EE |
DBLP:journals/ai/ShinD05 [Article] EE |
DBLP:journals/jacm/Shostak84 [Article] EE |
DBLP:conf/epia/Silva99 [Inproceedings] |
DBLP:conf/cp/Sinz05 [Inproceedings] EE |
DBLP:journals/endm/SinzBK01 [Article] EE |
JCD:Sloane93 [Article] |
DSCP05:SohIBT05 [Inproceedings] |
JACIL:SohITBN09 [Article] |
DBLP:conf/lics/StumpBDL01 [Inproceedings] |
DBLP:journals/jacm/SuzukiJ80 [Article] EE |
DBLP:conf/sat/SorenssonB09 [Inproceedings] EE |
CSC06:TamuraB08 [Inproceedings] |
DBLP:journals/constraints/TamuraTKB09 [Article] EE |
DBLP:conf/cp/TamuraTKB06 [Inproceedings] EE |
CSC08:TamuraTB08 [Inproceedings] |
CSC08:TanjoTB08 [Inproceedings] |
CSC08:Choco08 [Inproceedings] |
DBLP:conf/sat/Thurley06 [Inproceedings] EE |
CDPSS04:Tinelli04 [Inproceedings] |
DBLP:journals/jar/TinelliZ05 [Article] EE |
DBLP:conf/focs/Toda89 [Inproceedings] |
AC:TungA00 [Inproceedings] |
DBLP:journals/tcs/Valiant79 [Article] |
DBLP:conf/cp/Walsh00 [Inproceedings] EE |
DBLP:conf/aaai/WeiES04 [Inproceedings] |
DBLP:conf/sat/WeiS05 [Inproceedings] EE |
DBLP:conf/pts/Williams00 [Inproceedings] |
DBLP:conf/ijcai/WolfmanW99 [Inproceedings] |
IPC5:XingCZ06 [Inproceedings] |
DBLP:journals/jair/XuHHL08 [Article] EE |
DBLP:journals/tkde/YokooDIK98 [Article] EE |
DBLP:journals/aamas/YokooH00 [Article] |
DBLP:series/faia/Zhang09 [Incollection] EE |
DBLP:journals/jsc/ZhangBH96 [Article] |
DBLP:conf/iccad/ZhangMMM01 [Inproceedings] EE |
DBLP:conf/sat/ZhangM03 [Inproceedings] EE |
DBLP:conf/iccad/ZhangM02 [Inproceedings] EE |
DIMACS [Misc] |
SATLIB [Misc] |
CSC06 [Proceedings] |