Springer Science and Business Media LLC

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Towards better heuristics for solving bounded model checking problems
Springer Science and Business Media LLC - Tập 28 - Trang 45-66 - 2022
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Constraint models for graceful graphs
Springer Science and Business Media LLC - Tập 15 - Trang 64-92 - 2009
Barbara M. Smith, Jean-François Puget
Explaining the cumulative propagator
Springer Science and Business Media LLC - Tập 16 - Trang 250-282 - 2010
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace
On matrices, automata, and double counting in constraint programming
Springer Science and Business Media LLC - Tập 18 - Trang 108-140 - 2012
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
Partial symmetry breaking by local search in the group
Springer Science and Business Media LLC - Tập 17 - Trang 148-171 - 2012
Steve D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim
Complexity of minimum-size arc-inconsistency explanations
Springer Science and Business Media LLC - Tập 28 - Trang 427-449 - 2023
Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
Improvements of constraint programming and hybrid methods for scheduling of tests on vehicle prototypes
Springer Science and Business Media LLC - Tập 17 - Trang 172-203 - 2012
Kamol Limtanyakul, Uwe Schwiegelshohn
Structural tractability of enumerating CSP solutions
Springer Science and Business Media LLC - Tập 18 Số 1 - Trang 38-74 - 2013
Gianluigi Greco, Francesco Scarcello
Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction
Springer Science and Business Media LLC - - 2007
Y. Naveh, Andrea Roli
Promoting robust black-box solvers through competitions
Springer Science and Business Media LLC - Tập 15 - Trang 317-326 - 2010
Christophe Lecoutre, Olivier Roussel, M. R. C. van Dongen
Tổng số: 358   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10