|
期刊名称：CONSTRAINTS
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Aims and scope
Constraints provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constraint technology is employed. It covers all aspects of computing with constraints: theory and practice, algorithms and systems, reasoning and programming, logics and languages.
Relevant disciplines and application domains include, but are not limited to:
Disciplines: Artificial Intelligence, Automated Reasoning, Combinatorial Algorithms, Databases, Discrete Mathematics, Operations Research, Programming Languages, Satisfiability and Computational Logic
Domains: Agents, Bioinformatics, Design and Configuration, Graphics, Visualization, User Interfaces, Human-Computer Interaction and Decision Support, Robotics, Machine Vision and Computational Linguistics, Scheduling, Planning, Resource Allocation, Temporal and Spatial Reasoning
Papers that cut across disciplinary lines, or that combine theory and practice, are especially welcome. The journal will also consider survey papers.
Instructions to Authors
|
Instructions for Authors
Constraints
General
Authors are encouraged to submit high quality, original work that has neither appeared in, nor is under consideration by, other journals.
Online Manuscript Submisson
Springer now offers authors, editors and reviewers of Constraints the use of our fully web-enabled online manuscript submission and review system. To keep the review time as short as possible, we request authors to submit manuscripts online to the journal’s editorial office. Our online manuscript submission and review system offers authors theoption to track the progress of the review process of manuscripts in real time. The online manuscript submission and review system for Constraints offers easy and straightforward log-in and submission procedures. This system supports a wide range of submission file formats: for manuscripts - Word, WordPerfect, RTF, TXT, and LaTex;for figures - TIFF, GIF, JPEG, EPS, PPT and Postscript.PDF is not an acceptable file format.NOTE: In case you encounter any difficulties while submitting your manuscript online, please get in touch with the responsible Editorial Assistant by clicking on CONTACT US from the tool bar.Authors are requested to download the Consent to Publish and Transfer of Copyright form from the journal’s website. Please send a completed and duly signed form by fax to the Editorial Office of Constraints. Authors should still follow the regular instructions for authors when preparing their manuscripts (see below).Manuscripts should be submitted to:
Manuscript Style
NOTE: Authors are encouraged to make liberal use of examples and illustrations, to minimize notation, to carefully edit their text and to otherwise enhance the accessibility of their articles. Length should normally be kept under 35 journal pages.Use an informative title for the paper and include an abstract of 100 to 250 words at the head of the manuscript. The abstract should be a carefully worded description of the problem addressed, the key ideas introduced, and the results. Abstracts will be printed with the article.Provide a separate double-spaced sheet listing all footnotes, beginning with affiliation of author and continuing with numbered footnotes.Acknowledgment of financial support may be given if appropriate.References should appear in a separate bibliography at the end of the paper, doublespaced, with items referred to by numerals and in alphabetical order. References in the text should be denoted by numbers in square brackets, e.g., [12]. References should be complete, in the following style:Style for papers: Author last name followed by initials for each author, year (in parentheses), paper title, publication name in full, volume number, issue number, page number range.Style for books: Author(s) last name followed by initials, year (in parentheses), title of book (in italics), publisher, pages, page numbers (if desired).Examples as follows:(Book) Marriott, K., & Stuckey, P. (1998). Programming with Constraints. MIT Press.(Journal article) Rosenfeld, A. and Thurston, M. (1971). Edge and curve detection for visual scene analysis. IEEE Trans. Comput., 20 (1):562Y569.(Conference proceedings) Zhou, N.-F. (1998). A high-level intermediate language and the algorithms for compiling finite-domain constraints. In Proc. Joint International Conference on Logic Programming, pages 70Y84, MIT Press.Type mathematical expressions exactly as they should appear in print. Use appropriate typeface. Journal style for letter symbols is as follows: variables, italic type (indicated by underline); constants, roman text type; matrices and vectors, boldface type (indicated by wavy underline). Use appropriate typeface. It will be assumed that letters in displayed equations are to be set in italic type unless you mark them otherwise. All letter symbols in text discussion must be marked if they should be italic or boldface. Indicate best breaks for equations in case they will not fit on one line. Numbers for displayed equations should appear in parentheses flush with the right margin.
Illustration Style
|
Originals for illustrations should be sharp, noise-free, and of good contrast. We regret that we cannot provide drafting or art service. |
|
Each figure should be mentioned in the text and numbered consecutively using Arabic numerals. Specify the desired location of each figure in the text. Each figure must have a caption. Proper style for captions, e.g., "Figure 1. Comparing incremental and batch propagation behavior." |
|
Number each table consecutively using Arabic numerals. Please label any material that can be typeset as a table, reserving the term "figure" for material that has been drawn. Specify the desired location of each table in the text. Type a brief title above each table. |
|
All lettering should be large enough to permit legible reduction. |
|
Suggested figure formats: TIFF, GIF, EPS, PPT, and Postscript. Files should be at least 300 dpi. |
Proofing
Please be sure to include your e-mail address on your paper. If your paper is accepted, we will provide proofs electronically. The proofread copy should be returned to the Publisher within 72 hours. NOTE: Articles will be published online immediately after corrections are made by authors and appropriate editors.
Copyright
Authors will be asked, upon acceptance of an article, to transfer copyright of the article to the Publisher. This will ensure the widest possible dissemination of information under copyright laws. Open access articles (an option available for authors, against payment of an Article Processing Fee via the Springer Open Choice program) do not require transfer of copyright as the copyright remains with the author. In opting for open access, they agree to the Springer Open Access Licence. Details about the program and a link to the Open Access Licence can be found on the Springer Open Choice web pages: www.springer.com/openchoice
Offprints
Each group of authors is entitled to 50 free offprints of their paper. Additional offprintsmay be ordered through the offprint form provided with the proofs.
Springer Open Choice
In addition to the normal publication process (whereby an article is submitted to the journal and access to that article is granted to customers who have purchased a subscription), Springer now provides an alternative publishing option: Springer Open Choice. A Springer Open Choice article receives all the benefits of a regular subscription-based article, but in addition is made available publicly through Springer's online platform SpringerLink. To publish via Springer Open Choice, upon acceptance please visit the link below to complete the relevant order form and provide the required payment information. Payment must be received in full before publication or articles will publish as regular subscription-model articles. We regret that Springer Open Choice cannot be ordered for published articles.
|
|
E-content
For authors and editors
/* */
Additional information
Other contacts
Related subjects
/* */ |
|
Editorial Board
Editorial Board
Editor-in-Chief
Peter van Beek, University of Waterloo, Canada
Editorial Board
Endre Boros, Rutgers University, USA
Jacques Cohen, Brandeis University, USA
Rina Dechter, University of California, Irvine, USA
Boi Faltings, EPFL, Switzerland
Hélène Fargier, IRIT, France
Deepak Kapur, University of New Mexico, USA
Alan Mackworth, UBC, Canada
Bernhard Nebel, Albert-Ludwigs-Universität, Germany
Jean-François Puget, ILOG, France
Jean-Charles Régin, ILOG, France
Peter Revesz, University of Nebraska, Lincoln, USA
Francesca Rossi, University of Padova, Italy
Martin W.P. Savelsbergh, Georgia Tech., USA
Thomas Schiex, INRA, France
Bart Selman, Cornell University, USA
Barbara Smith, 4C, Ireland
Gert Smolka, Saarland University, Germany
Peter J. Stuckey, University of Melbourne, Australia
Michael A. Trick, Carnegie Mellon University, USA
Edward Tsang, University of Essex, UK
Pascal Van Hentenryck, Brown University, USA
Mark Wallace, Monash University, Australia
Toby Walsh, NICTA & UNSW, Australia
Makoto Yokoo, Kyushu University, Japan
|
|
|
|
