Text

Principles and Practice of Constraint Programming; 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

---

Volume ini berisi prosiding Konferensi Internasional ke-21 tentang Prinsip dan Praktik Pemrograman Kendala (CP 2015), yang diadakan di Cork, Irlandia, dari 31 Agustus hingga 4 September 2015. Informasi lengkap tentang konferensi ini tersedia di http://cp2015.a4cp.org. Konferensi CP adalah konferensi internasional tahunan tentang pemrograman kendala. Ini berkaitan dengan semua aspek komputasi dengan batasan, termasuk teori, algoritma, lingkungan, bahasa, model, sistem, dan aplikasi seperti pengambilan keputusan, alokasi sumber daya, penjadwalan, konfigurasi, dan perencanaan. Untuk tujuan pemrograman ilmiah konferensi, kami mengundang kiriman ke trek jurnal teknis, aplikasi, dan terbitan. Kami menerima masing-masing 80, 25, dan 14 kiriman untuk trek ini. Penulis memilih untuk mengirimkan makalah panjang (15 halaman) atau pendek (8 halaman) ke jalur teknis dan aplikasi. Proses peninjauan untuk jalur teknis bergantung pada Komite Program dua tingkat dan pada pengulas tambahan yang direkrut oleh anggota Komite Program. Setiap pengajuan ke jalur teknis diberikan kepada salah satu anggota Komite Program Senior dan tiga anggota Komite Program jalur tersebut. Pengajuan ke jalur aplikasi masing-masing diberikan kepada tiga anggota Komite Programnya. Setiap makalah menerima setidaknya tiga ulasan. Setelah tinjauan awal dilakukan, penulis diberi kesempatan untuk menanggapi sebelum diskusi terperinci dilakukan di tingkat Komite Program, diawasi oleh Ketua Program dan anggota Komite Program Senior atau Ketua Jalur Aplikasi, sebagaimana mestinya. Untuk pertama kalinya tahun ini Panitia Program Senior tidak bertemu langsung melainkan berunding melalui video conference. Jalur jurnal yang diterbitkan memberikan kesempatan untuk membahas hasil-hasil penting di bidang pemrograman kendala yang muncul baru-baru ini di jurnal-jurnal terkait, tetapi sebelumnya belum pernah dipresentasikan kepada komunitas di konferensi. Pengajuan dievaluasi oleh Komite Program terpisah untuk relevansi dan signifikansi. Pada akhir proses penelaahan, kami menerima 39 paper dari jalur teknis, 15 paper dari jalur lamaran, dan 10 paper dari jurnal paper track yang diterbitkan. Komite Program Senior memberikan Penghargaan Makalah Terbaik kepada John N. Hooker untuk "Proyeksi, Konsistensi, dan George Boole" dan Penghargaan Makalah Mahasiswa Terbaik untuk Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, dan Moshe Vardi untuk "Menghitung Dukungan Independen Minimal dan Aplikasinya untuk Pengambilan Sampel dan Penghitungan."Komite Program Jalur Aplikasi memberikan Penghargaan Makalah Aplikasi Terbaik kepada Tommaso Urli dan Philip Kilby untuk" Campuran Armada Jarak Jauh dan Optimalisasi Perutean dengan Pemrograman Kendala dan Pencarian Lingkungan yang Luas."Ketua Program dan pemimpin redaksi jurnal Constraints, Michela Milano, juga mengundang enam makalah dari jalur teknis dan aplikasi untuk publikasi langsung di jurnal tersebut. Ini dipresentasikan di konferensi seperti makalah lainnya dan muncul dalam prosiding sebagai abstrak satu halaman. Edisi konferensi ini merupakan bagian dari George Boole 200, sebuah perayaan atas kehidupan dan karya George Boole yang lahir pada tahun 1815 dan bekerja di University College of Cork. Itu juga ditempatkan bersama dengan Konferensi Internasional ke-31 tentang Pemrograman Logika (ICLP 2015). Program konferensi menampilkan tiga ceramah yang diundang oleh Claire Bagley, Gerhard Friedrich (bersama dengan ICLP), dan Douglas R. Smith. Volume ini mencakup abstrak satu halaman dari ceramah mereka. Konferensi ini juga menampilkan empat tutorial dan enam lokakarya satelit, yang topiknya tercantum dalam buku ini. Program Doktor memberikan gelar PhD. siswa memiliki kesempatan untuk mempresentasikan karya mereka kepada peneliti yang lebih senior, untuk bertemu dengan mentor yang ditugaskan untuk mendapatkan saran tentang penelitian dan awal karir mereka, untuk menghadiri tutorial khusus, dan untuk berinteraksi satu sama lain. Para pemenang ACP Research Excellence Award 2015 dan Doctoral Research Award mempresentasikan ceramah penghargaan mereka. Hasil Tantangan Mini Zinc tahunan diumumkan dan Kompetisi Pemrograman ICLP / CP bersama diadakan. Untuk pertama kalinya upaya Penjangkauan Industri, dipimpin oleh Helmut Simonis, memberikan kesempatan formal bagi para peneliti CP dan perwakilan dari industri untuk berinteraksi: Yang pertama disajikan dengan masalah industri untuk dipecahkan dalam kompetisi persahabatan dan yang terakhir disajikan dengan contoh masalah industri. diselesaikan dengan menggunakan teknologi CP. Setelah konferensi, acara sprint CSPlib berlangsung untuk memperbarui pustaka masalah kepuasan kendala ini. Semua ini berkontribusi pada program yang sangat menarik. Saya berterima kasih kepada banyak orang yang membuat konferensi ini sukses. Pertama-tama, kepada penulis yang menyediakan materi yang sangat bagus untuk dipilih. Kemudian kepada anggota Komite Program dan reviewer tambahan yang bekerja keras untuk memberikan review yang konstruktif dan berkualitas tinggi. Kepada anggota Komite Program Senior yang membantu saya memastikan bahwa setiap makalah didiskusikan secara memadai, menulis tinjauan meta untuk makalah yang ditugaskan, dan berpartisipasi dalam musyawarah jarak jauh langsung-untuk beberapa, cukup awal atau larut hari. Khususnya Christian Schulte, yang setuju untuk turun tangan di tempat saya memiliki konflik kepentingan. Tentu saja ada seluruh tim yang berdiri bersama saya, yang memimpin berbagai aspek konferensi: Ken Brown, Barry O'Sullivan (Ketua Konferensi) dan tim lokal mereka sendiri (Barry Hurley sebagai webmaster; Kathy Bunney yang memberikan dukungan koordinasi; staf pendukung teknis dan administratif dari Pusat Wawasan untuk Analisis Data di UCC), Louis-Martin Rousseau (Ketua Jalur Aplikasi), Thomas Schiex (Ketua Jalur Jurnal yang Diterbitkan), David Bergman dan Marie Pelleau (Ketua Program Doktoral), Willem-Jan van Hoeve (Lokakarya dan Ketua Tutorial), Helmut Simonis (Ketua Penjangkauan Industri), dan Ian Miguel (Ketua Publisitas). Terima kasih atas dedikasinya! Saya mengakui dan berterima kasih kepada sponsor kami atas dukungan mereka yang murah hati: mereka termasuk, pada saat penulisan, Association for Constraint Programming, Association for Logic Programming, ECCAI-Komite Koordinasi Eropa untuk Kecerdasan Buatan, Pusat Wawasan untuk Analisis Data, Science Foundation Irlandia, Springer, dan University College Cork. Akhirnya, saya berterima kasih kepada Komite Eksekutif ACP atas kepercayaan yang mereka tunjukkan kepada saya dalam meminta saya untuk menjabat sebagai Ketua Program. Ini suatu kehormatan.

---

Availability

No copy data

Detail Information

Series Title

Catatan Kuliah dalam Ilmu Komputer

Call Number

005 PES p

Publisher

Cork, Ireland : Springer International Publishing., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-319-23219-5

Classification

005

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

9255

Subject(s)

Pemrograman

Specific Detail Info

-

Statement of Responsibility

Gilles Pesant

Other Information

Cataloger

Erwin

Source

https://link.springer.com/10.1007/978-3-319-23219-5

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment