BibTeX records: Takehide Soh

download as .bib file

@article{DBLP:journals/ijait/SohBT17,
  author    = {Takehide Soh and
               Mutsunori Banbara and
               Naoyuki Tamura},
  title     = {Proposal and Evaluation of Hybrid Encoding of {CSP} to {SAT} Integrating
               Order and Log Encodings},
  journal   = {International Journal on Artificial Intelligence Tools},
  volume    = {26},
  number    = {1},
  pages     = {1--29},
  year      = {2017},
  url       = {https://doi.org/10.1142/S0218213017600053},
  doi       = {10.1142/S0218213017600053},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijait/SohBT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SohBTB17,
  author    = {Takehide Soh and
               Mutsunori Banbara and
               Naoyuki Tamura and
               Daniel Le Berre},
  title     = {Solving Multiobjective Discrete Optimization Problems with Propositional
               Minimal Model Generation},
  booktitle = {Principles and Practice of Constraint Programming - 23rd International
               Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
               1, 2017, Proceedings},
  pages     = {596--614},
  year      = {2017},
  crossref  = {DBLP:conf/cp/2017},
  url       = {https://doi.org/10.1007/978-3-319-66158-2\_38},
  doi       = {10.1007/978-3-319-66158-2\_38},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cp/SohBTB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BanbaraIKOSST17,
  author    = {Mutsunori Banbara and
               Katsumi Inoue and
               Hiromasa Kaneyuki and
               Tenda Okimoto and
               Torsten Schaub and
               Takehide Soh and
               Naoyuki Tamura},
  title     = {catnap: Generating Test Suites of Constrained Combinatorial Testing
               with Answer Set Programming},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
               Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  pages     = {265--278},
  year      = {2017},
  crossref  = {DBLP:conf/lpnmr/2017},
  url       = {https://doi.org/10.1007/978-3-319-61660-5\_24},
  doi       = {10.1007/978-3-319-61660-5\_24},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/BanbaraIKOSST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jea/TodaS16,
  author    = {Takahisa Toda and
               Takehide Soh},
  title     = {Implementing Efficient All Solutions {SAT} Solvers},
  journal   = {{ACM} Journal of Experimental Algorithmics},
  volume    = {21},
  number    = {1},
  pages     = {1.12:1--1.12:44},
  year      = {2016},
  url       = {https://doi.org/10.1145/2975585},
  doi       = {10.1145/2975585},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jea/TodaS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SohBT15,
  author    = {Takehide Soh and
               Mutsunori Banbara and
               Naoyuki Tamura},
  title     = {A Hybrid Encoding of {CSP} to {SAT} Integrating Order and Log Encodings},
  booktitle = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
  pages     = {421--428},
  year      = {2015},
  crossref  = {DBLP:conf/ictai/2015},
  url       = {https://doi.org/10.1109/ICTAI.2015.70},
  doi       = {10.1109/ICTAI.2015.70},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/SohBT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BanbaraGIOPSSTW15,
  author    = {Mutsunori Banbara and
               Martin Gebser and
               Katsumi Inoue and
               Max Ostrowski and
               Andrea Peano and
               Torsten Schaub and
               Takehide Soh and
               Naoyuki Tamura and
               Matthias Weise},
  title     = {aspartame: Solving Constraint Satisfaction Problems with Answer Set
               Programming},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  pages     = {112--126},
  year      = {2015},
  crossref  = {DBLP:conf/lpnmr/2015},
  url       = {https://doi.org/10.1007/978-3-319-23264-5\_10},
  doi       = {10.1007/978-3-319-23264-5\_10},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/BanbaraGIOPSSTW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TodaS15,
  author    = {Takahisa Toda and
               Takehide Soh},
  title     = {Implementing Efficient All Solutions {SAT} Solvers},
  journal   = {CoRR},
  volume    = {abs/1510.00523},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.00523},
  archivePrefix = {arXiv},
  eprint    = {1510.00523},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/TodaS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SohBRBT14,
  author    = {Takehide Soh and
               Daniel Le Berre and
               St{\'{e}}phanie Roussel and
               Mutsunori Banbara and
               Naoyuki Tamura},
  title     = {Incremental SAT-Based Method with Native Boolean Cardinality Handling
               for the Hamiltonian Cycle Problem},
  booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
               2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  pages     = {684--693},
  year      = {2014},
  crossref  = {DBLP:conf/jelia/2014},
  url       = {https://doi.org/10.1007/978-3-319-11558-0\_52},
  doi       = {10.1007/978-3-319-11558-0\_52},
  timestamp = {Sun, 04 Jun 2017 10:09:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/SohBRBT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BanbaraSTIS13,
  author    = {Mutsunori Banbara and
               Takehide Soh and
               Naoyuki Tamura and
               Katsumi Inoue and
               Torsten Schaub},
  title     = {Answer set programming as a modeling language for course timetabling},
  journal   = {{TPLP}},
  volume    = {13},
  number    = {4-5},
  pages     = {783--798},
  year      = {2013},
  url       = {https://doi.org/10.1017/S1471068413000495},
  doi       = {10.1017/S1471068413000495},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/BanbaraSTIS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/TamuraBS13,
  author    = {Naoyuki Tamura and
               Mutsunori Banbara and
               Takehide Soh},
  title     = {Compiling Pseudo-Boolean Constraints to {SAT} with Order Encoding},
  booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
  pages     = {1020--1027},
  year      = {2013},
  crossref  = {DBLP:conf/ictai/2013},
  url       = {https://doi.org/10.1109/ICTAI.2013.153},
  doi       = {10.1109/ICTAI.2013.153},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/TamuraBS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SohTB13,
  author    = {Takehide Soh and
               Naoyuki Tamura and
               Mutsunori Banbara},
  title     = {Scarab: {A} Rapid Prototyping Tool for SAT-Based Constraint Programming
               Systems},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
               International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  pages     = {429--436},
  year      = {2013},
  crossref  = {DBLP:conf/sat/2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5\_34},
  doi       = {10.1007/978-3-642-39071-5\_34},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sat/SohTB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BanbaraGISSTW13,
  author    = {Mutsunori Banbara and
               Martin Gebser and
               Katsumi Inoue and
               Torsten Schaub and
               Takehide Soh and
               Naoyuki Tamura and
               Matthias Weise},
  title     = {Aspartame: Solving Constraint Satisfaction Problems with Answer Set
               Programming},
  journal   = {CoRR},
  volume    = {abs/1312.6113},
  year      = {2013},
  url       = {http://arxiv.org/abs/1312.6113},
  archivePrefix = {arXiv},
  eprint    = {1312.6113},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BanbaraGISSTW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SohITBN10,
  author    = {Takehide Soh and
               Katsumi Inoue and
               Naoyuki Tamura and
               Mutsunori Banbara and
               Hidetomo Nabeshima},
  title     = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
  journal   = {Fundam. Inform.},
  volume    = {102},
  number    = {3-4},
  pages     = {467--487},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-314},
  doi       = {10.3233/FI-2010-314},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/SohITBN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anb/RaySI10,
  author    = {Oliver Ray and
               Takehide Soh and
               Katsumi Inoue},
  title     = {Analyzing Pathways Using ASP-Based Approaches},
  booktitle = {Algebraic and Numeric Biology - 4th International Conference, {ANB}
               2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected
               Papers},
  pages     = {167--183},
  year      = {2010},
  crossref  = {DBLP:conf/anb/2010},
  url       = {https://doi.org/10.1007/978-3-642-28067-2\_10},
  doi       = {10.1007/978-3-642-28067-2\_10},
  timestamp = {Wed, 17 May 2017 14:25:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/anb/RaySI10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SohI10,
  author    = {Takehide Soh and
               Katsumi Inoue},
  title     = {Identifying Necessary Reactions in Metabolic Pathways by Minimal Model
               Generation},
  booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  pages     = {277--282},
  year      = {2010},
  crossref  = {DBLP:conf/ecai/2010},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17757},
  timestamp = {Mon, 23 Aug 2010 15:10:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/SohI10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SohI10,
  author    = {Takehide Soh and
               Katsumi Inoue},
  title     = {Finding Minimal Reaction Sets in Large Metabolic Pathways},
  booktitle = {Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh,
               UK, July 21, 2010},
  pages     = {38--52},
  year      = {2010},
  crossref  = {DBLP:conf/iclp/2010wcb},
  url       = {http://www.easychair.org/publications/paper/51743},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/SohI10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/SohITBN08,
  author    = {Takehide Soh and
               Katsumi Inoue and
               Naoyuki Tamura and
               Mutsunori Banbara and
               Hidetomo Nabeshima},
  title     = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
  booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
               of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
               Italy, December 12-13, 2008.},
  year      = {2008},
  crossref  = {DBLP:conf/rcra/2008},
  url       = {http://ceur-ws.org/Vol-451/paper16soh.pdf},
  timestamp = {Tue, 30 Oct 2018 15:52:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rcra/SohITBN08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/InoueSUSBT06,
  author    = {Katsumi Inoue and
               Takehide Soh and
               Seiji Ueda and
               Yoshito Sasaura and
               Mutsunori Banbara and
               Naoyuki Tamura},
  title     = {A competitive and cooperative approach to propositional satisfiability},
  journal   = {Discrete Applied Mathematics},
  volume    = {154},
  number    = {16},
  pages     = {2291--2306},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.dam.2006.04.015},
  doi       = {10.1016/j.dam.2006.04.015},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dam/InoueSUSBT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/NabeshimaSII06,
  author    = {Hidetomo Nabeshima and
               Takehide Soh and
               Katsumi Inoue and
               Koji Iwanuma},
  title     = {Lemma Reusing for {SAT} based Planning and Scheduling},
  booktitle = {Proceedings of the Sixteenth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
  pages     = {103--113},
  year      = {2006},
  crossref  = {DBLP:conf/aips/2006},
  url       = {http://www.aaai.org/Library/ICAPS/2006/icaps06-011.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aips/NabeshimaSII06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2017,
  editor    = {J. Christopher Beck},
  title     = {Principles and Practice of Constraint Programming - 23rd International
               Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
               1, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10416},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66158-2},
  doi       = {10.1007/978-3-319-66158-2},
  isbn      = {978-3-319-66157-5},
  timestamp = {Wed, 23 Aug 2017 10:12:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2017,
  editor    = {Marcello Balduccini and
               Tomi Janhunen},
  title     = {Logic Programming and Nonmonotonic Reasoning - 14th International
               Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10377},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61660-5},
  doi       = {10.1007/978-3-319-61660-5},
  isbn      = {978-3-319-61659-9},
  timestamp = {Wed, 28 Jun 2017 13:20:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictai/2015,
  title     = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7372093},
  isbn      = {978-1-5090-0163-7},
  timestamp = {Wed, 04 May 2016 12:16:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2015,
  editor    = {Francesco Calimeri and
               Giovambattista Ianni and
               Miroslaw Truszczynski},
  title     = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9345},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23264-5},
  doi       = {10.1007/978-3-319-23264-5},
  isbn      = {978-3-319-23263-8},
  timestamp = {Sun, 04 Jun 2017 10:03:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2014,
  editor    = {Eduardo Ferm{\'{e}} and
               Jo{\~{a}}o Leite},
  title     = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
               2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8761},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11558-0},
  doi       = {10.1007/978-3-319-11558-0},
  isbn      = {978-3-319-11557-3},
  timestamp = {Sun, 04 Jun 2017 10:09:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictai/2013,
  title     = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6734837},
  isbn      = {978-1-4799-2971-9},
  timestamp = {Fri, 22 Jun 2018 10:48:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2013,
  editor    = {Matti J{\"{a}}rvisalo and
               Allen Van Gelder},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
               International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7962},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5},
  doi       = {10.1007/978-3-642-39071-5},
  isbn      = {978-3-642-39070-8},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/anb/2010,
  editor    = {Katsuhisa Horimoto and
               Masahiko Nakatsui and
               Nikolaj Popov},
  title     = {Algebraic and Numeric Biology - 4th International Conference, {ANB}
               2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6479},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28067-2},
  doi       = {10.1007/978-3-642-28067-2},
  isbn      = {978-3-642-28066-5},
  timestamp = {Wed, 17 May 2017 14:25:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/anb/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2010,
  editor    = {Helder Coelho and
               Rudi Studer and
               Michael Wooldridge},
  title     = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {215},
  publisher = {{IOS} Press},
  year      = {2010},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702},
  isbn      = {978-1-60750-605-8},
  timestamp = {Mon, 23 Aug 2010 15:10:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2010wcb,
  editor    = {Agostino Dovier and
               Alessandro Dal Pal{\`{u}} and
               Sebastian Will},
  title     = {Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh,
               UK, July 21, 2010},
  series    = {EPiC Series in Computing},
  volume    = {4},
  publisher = {EasyChair},
  year      = {2012},
  url       = {http://www.easychair.org/publications/?page=1829024579},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2010wcb},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rcra/2008,
  editor    = {Marco Gavanelli and
               Toni Mancini},
  title     = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
               of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
               Italy, December 12-13, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {451},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-451},
  timestamp = {Tue, 30 Oct 2018 15:52:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rcra/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2006,
  editor    = {Derek Long and
               Stephen F. Smith and
               Daniel Borrajo and
               Lee McCluskey},
  title     = {Proceedings of the Sixteenth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
  publisher = {{AAAI}},
  year      = {2006},
  isbn      = {978-1-57735-270-9},
  timestamp = {Fri, 23 Nov 2007 13:41:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aips/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier