| |
# of records = 74
homepages/n/RobertNieuwenhuis conf/sat/Nieuwenhuis09 conf/sat/AsinNOR09 conf/sat/LarrosaNOR09 conf/cav/BofillNORR08 conf/fmcad/BofillNORR08 conf/lpar/AsinNOR08 conf/lpar/BezemNR08 conf/sat/FaureNOR08 journals/dam/BezemNR08 conf/dagstuhl/2007P7401 conf/dagstuhl/BaaderCGN07a conf/dagstuhl/BaaderCGN07 conf/rta/NieuwenhuisORR07 journals/iandc/NieuwenhuisO07 conf/dagstuhl/2005P5431 conf/cav/LahiriNO06 conf/lpar/BarrettNOT06 conf/sat/NieuwenhuisO06 journals/jacm/NieuwenhuisOT06 conf/cade/2005 conf/cav/NieuwenhuisO05 conf/dagstuhl/BaaderBNV05a conf/dagstuhl/BaaderBNV05 conf/lpar/NieuwenhuisO05 conf/rta/NieuwenhuisO05 conf/cav/GanzingerHNOT04 conf/lpar/NieuwenhuisOT04 journals/tocl/GodoyNT04 journals/constraints/GodoyN04 journals/jar/GanzingerNN04 journals/jsc/GodoyN04 conf/rta/2003 conf/lpar/NieuwenhuisO03 journals/tocl/ComonNNR03 journals/jar/BofillGNR03 journals/jsc/DegtyarevNV03 journals/aicom/Nieuwenhuis02 journals/iandc/NieuwenhuisR02 conf/lpar/2001 conf/focs/ComonGN01 conf/cade/GanzingerNN01 conf/cade/NieuwenhuisHRV01 conf/lics/GodoyN01 books/el/RV01/NieuwenhuisR01 conf/frocos/BofillGNR00 conf/lics/GodoyN00 journals/iandc/ComonN00 conf/cade/Nieuwenhuis99 conf/ccl/GanzingerN99 conf/lics/BofillGNR99 conf/rta/NieuwenhuisR99 conf/lics/ComonNNR98 journals/iandc/Nieuwenhuis98 conf/cade/NieuwenhuisRV97 journals/jar/NieuwenhuisRV97 journals/jsc/NieuwenhuisR97 conf/agp/NieuwenhuisRV96 conf/lics/Nieuwenhuis96 conf/lics/ComonNR95 conf/rta/Nieuwenhuis95 journals/jsc/NieuwenhuisR95 journals/tcs/RubioN95 conf/cade/NieuwenhuisR94 conf/prospectra/BertlingGSNO93 conf/rta/RubioN93 conf/rta/NivelaN93 journals/ipl/Nieuwenhuis93 conf/cade/NieuwenhuisR92 conf/esop/NieuwenhuisR92 journals/ipl/NieuwenhuisN91 conf/adt/NieuwenhuisO90 conf/cade/NieuwenhuisOR90 conf/ctrs/NieuwenhuisO90
Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)