dblp keys for Andrei Voronkov

Keys

# of data records = 207

homepages/v/AndreiVoronkov conf/popl/KovacsRV17 conf/cade/HoderR0V16 conf/cpp/KotelnikovKRV16 conf/sat/Reger0V16 conf/cade/2014-15vampire conf/ershov/2015 journals/corr/Reger0V16 journals/corr/Reger0VH16 journals/corr/KovacsRV16 conf/cade/RegerTV15 conf/cade/RegerSV15 conf/mkm/KotelnikovKV15 conf/ershov/2014 conf/gcai/2015 conf/lpar/2015s conf/lpar/2015 journals/corr/KotelnikovKV15 journals/corr/KotelnikovKRV15 conf/atva/GuptaKKV14 conf/cade/BiereDKV14 conf/cade/Reger0V14 conf/cav/Voronkov14 conf/kbse/Voronkov14 conf/micai/BiereDKV14 conf/birthday/2014howard conf/ershov/2014p conf/lpar/2013s conf/sycss/2014 conf/birthday/KapurNVWW13 conf/birthday/PerezV13 conf/cade/HoderV13 conf/cav/KovacsV13 conf/doceng/ConstantinPV13 conf/micai/KovacsMV13 conf/synasc/DraganKKV13 conf/birthday/2013ganzinger conf/lpar/2010ys conf/lpar/2013 journals/japll/SakumaMV12 conf/aplas/HoderHKV12 conf/cade/EmmerKKSV12 conf/fmcad/HoderKKV12 conf/popl/HoderKV12 conf/birthday/2012turing conf/cade/2010wing conf/ershov/2011 conf/lpar/2012 conf/synasc/2012 conf/cade/HoderV11 conf/cade/KorovinV11 conf/cade/KovacsMV11 conf/ershov/KorovinV11 conf/ershov/KorovinTV11 conf/micai/HoderKV11 conf/tacas/HoderKV11 journals/dagstuhl-reports/BjornerNVV11 conf/cade/HoderKV10 conf/fmcad/EmmerKKV10 conf/icms/UrbanHV10 conf/synasc/MinamideSV10 conf/vmcai/HenzingerHKV10 conf/wwv/Voronkov10 conf/dagstuhl/2010P10161 conf/ershov/2009 conf/lpar/2010d conf/lpar/2010y conf/dagstuhl/BjornerNVV10 conf/dagstuhl/BjornerNVV10a conf/cade/KovacsV09 conf/cp/KorovinTV09 conf/fase/KovacsV09 conf/fmcad/KhasidashviliKV09 conf/ki/HoderV09 conf/sas/VoronkovN09 conf/synasc/KovacsV09 conf/synasc/Voronkov09 conf/tacas/BjornerTV09 conf/cade/PerezV08 conf/lpar/2008 conf/rta/2008 conf/cade/PerezV07 conf/csl/KorovinV07 conf/sat/PerezV07 conf/csr/2007 conf/ershov/2006 conf/lpar/2007 conf/adbis/JaberV06 conf/foiks/HorrocksV06 conf/icde/JaberV06 conf/jelia/Voronkov06 conf/dagstuhl/2005P5431 conf/lpar/2006 journals/iandc/RiazanovV05 journals/tocl/KorovinV05 conf/aaai/NavarroV05 conf/birthday/ChubarovV05 conf/mfcs/ChubarovV05 conf/mfcs/KorovinV05 conf/sas/NarasamdyaV05 conf/lpar/2004 conf/lpar/2005 conf/dagstuhl/BaaderBNV05 conf/dagstuhl/BaaderBNV05a conf/cade/RiazanovV04 conf/cade/HustadtKRV04 journals/iandc/KorovinV03 journals/jar/Voronkov03 journals/jsc/DegtyarevNV03 journals/jsc/RiazanovV03 conf/cade/KorovinV03 conf/cade/RiazanovV03 conf/csl/MaksimovaV03 conf/csl/RybinaV03 conf/ershov/RybinaV03 conf/icalp/RybinaV03 conf/ijcai/Voronkov03 conf/lics/KorovinV03 conf/lpar/2003 journals/aicom/RiazanovV02 conf/amast/RybinaV02 conf/cav/RybinaV02 conf/dlog/Voronkov02 conf/fsttcs/KorovinV02 conf/cade/2002 conf/lpar/2002 journals/corr/cs-LO-0207068 journals/csur/DantsinEGV01 journals/sLogica/FittingTV01 journals/tocl/RybinaV01 journals/tocl/Voronkov01 conf/cade/Voronkov01 conf/cade/NieuwenhuisHRV01 conf/cade/RiazanovV01 conf/ershov/RiazanovV01 conf/icalp/KorovinV01 conf/ijcai/RiazanovV01 conf/rta/KorovinV01 books/el/RV01/DegtyarevV01 books/el/RV01/DegtyarevV01a books/el/RV01/RamakrishnanSV01 books/el/RV01/RobinsonV01 books/ws/phaunRS01/DegtyarevGV01 books/el/RobinsonV01 conf/lpar/2001 journals/tcs/DegtyarevGNVV00 conf/cade/DegtyarevV00 conf/jelia/RiazanovV00 conf/kr/Voronkov00 conf/lics/RybinaV00 conf/lics/KorovinV00 conf/lics/Voronkov00 conf/pods/DantsinV00 conf/tableaux/FittingTV00 conf/lpar/2000 journals/jsyml/Voronkov99 journals/tcs/GurevichV99 journals/tcs/Voronkov99 conf/cade/RiazanovV99 conf/cade/Voronkov99 conf/fossacs/DantsinV99 conf/lpar/1999 journals/jar/DegtyarevV98 journals/jar/Voronkov98 conf/cade/BachmairGV98 conf/lics/Voronkov98 conf/pods/VorobyovV98 conf/rta/DegtyarevGNVV98 conf/dagstuhl/1998change conf/coco/DantsinEGV97 conf/icalp/GurevichV97 conf/ijcai/Voronkov97 conf/lfcs/DantsinV97 journals/eatcs/DegtyarevGV96 journals/jlp/DegtyarevV96 journals/tcs/DegtyarevV96 conf/cade/Voronkov96 conf/disco/DegtyarevV96 conf/elp/ArgeniusV96 conf/elp/DegtyarevV96 conf/ershov/Voronkov96 conf/jelia/DegtyarevV96 conf/lics/DegtyarevMV96 conf/lics/DegtyarevV96 conf/tableaux/Voronkov96 journals/amai/Voronkov95 journals/jar/Voronkov95 conf/csl/DegtyarevV95 conf/iclp/DegtyarevV95 conf/ijcai/DegtyarevV95 conf/wocfai/DegtyarevV95 conf/plilp/Voronkov94 conf/kgc/SazonovV93 conf/lpar/1993 conf/cade/Voronkov92 conf/iclp/Voronkov92 conf/istcs/Voronkov92 conf/lpar/1991 conf/lpar/1992 conf/csl/Voronkov91 conf/lpar/Voronkov91 conf/pdk/BoleyMMRV91 conf/cade/Voronkov90 conf/esop/Voronkov90 conf/colog/StarchenkoV88 conf/colog/Voronkov88 conf/fct/Voronkov87