| 001994 (2005) |
Francisco Díaz [Colombie] ; Andrés Mena [Colombie] | Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming |
| 001553 (2007) |
Rémy Haemmerlé [France] ; François Fages [France] ; Sylvain Soliman [France] | Closures and Modules Within Linear Logic Concurrent Constraint Programming |
| 001967 (2005) |
Jesús Aranda [Colombie] ; Francisco Díaz [Colombie] ; James Ortíz [Colombie] | The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics |
| 001E44 (2004) |
Moritz Neugebauer [Irlande (pays)] | Concurrent Constraint Programming and Tree–Based Acoustic Modelling |
| 002A06 (2000) |
Marek Parali [Slovaquie] | Mobile Agents Based on Concurrent Constraint Programming |
| 002C94 (1999) |
Christian Schulte [Allemagne] | Programming Deep Concurrent Constraint Combinators |
| 000B79 (2009) |
Heather G. Belanger ; Lee A. Kirkpatrick ; Peter Derks | The effects of humor on verbal and imaginal problem solving |
| 001020 (2008) |
Irena Bach [Pologne] ; Grzegorz Bocewicz [Pologne] ; Zbigniew Banaszak [Pologne] | Constraint Programming Approach to Time-Window and Multiresource-Constrained Projects Portfolio Prototyping |
| 001171 (2008) |
Kei Davis [États-Unis] ; Jörg Striegnitz [Allemagne] | Multiparadigm Programming in Object-Oriented Languages: Current Research |
| 001212 (2008) |
Adam Meissner [Pologne] ; Magdalena Niwi Ska [Pologne] ; Krzysztof Zwierzy Ski [Pologne] | Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System |
| 001223 (2008) |
F. Haines [Royaume-Uni] ; C. Wilson [Royaume-Uni] | Belief Propagation with Directional Statistics for Solving the Shape-from-Shading Problem |
| 001373 (2007) |
Ben Krause [États-Unis] ; Tim Wahls [États-Unis] | jmle: A Tool for Executing JML Specifications Via Constraint Programming |
| 001730 (2006) |
Adam Meissner [Pologne] ; Krzysztof Zwierzy Ski [Pologne] | Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System |
| 001950 (2005) |
Francisco Díaz [Colombie] ; Gustavo Gutierrez [Colombie] ; Alberto Olarte [Colombie] ; Camilo Rueda [Colombie] | Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks |
| 001969 (2005) |
Fred Spiessens [Belgique] ; Peter Van Roy [Belgique] | The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language |
| 001B61 (2005) |
Gregoire Dooms [Belgique] ; Yves Deville [Belgique] ; Pierre Dupont [Belgique] | CP(Graph): Introducing a Graph Computation Domain in Constraint Programming |
| 001B91 (2005) |
Ralph Becket [Australie] ; Garcia De La Banda [Australie] ; Kim Marriott [Australie] ; Zoltan Somogyi [Australie] ; J. Stuckey [Australie] ; Mark Wallace [Australie] | Adding Constraint Solving to Mercury |
| 002330 (2002) |
Kei Davis [États-Unis] ; Yannis Smaragdakis [États-Unis] ; Jörg Striegnitz [Allemagne] | Multiparadigm Programming with OO Languages |
| 002770 (2000) |
Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne] | Integrating Constraint Solving into Proof Planning |
| 002773 (2000) |
Francesca Rossi [Italie] | Constraint (Logic) Programming: A Survey on Research and Applications |
| 003813 (1995) |
J. Treffinger [États-Unis] | Creative Problem Solving: Overview and educational implications |
| 004F56 (1987) |
Maria Nowakowska [États-Unis] | Architecture of systems problem solving, by George J. Klir, Plenum Press, New York, 1985, 540 pp. |
| 006436 (1973) |
Susan M. Stievater | Bibliography of Recent Theses on Creativity and Problem‐Solving: Supplement II |
| 000237 (2013) |
Elisabeth Conradt [États-Unis] ; Jeffrey Measelle ; Jennifer C. Ablow | Poverty, Problem Behavior, and Promise: Differential Susceptibility Among Infants Reared in Poverty |
| 000379 (2012-03-20) |
Marcin Relich ; Zbigniew Banaszak | Reference Model of Project Prototyping Problem |
| 000950 (2010) |
Michael Huemer | LEXICAL PRIORITY AND THE PROBLEM OF RISK |
| 000B51 (2009) |
Celia Applegate | William Weber. The Great Transformation of Musical Taste: Concert Programming from Haydn to Brahms. New York: Cambridge University Press. 2008. Pp. xv, 334. $99.00 |
| 001021 (2008) |
Louise Leenen [Australie, Afrique du Sud] ; Aditya Ghose [Australie] | Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems |
| 001165 (2008) |
Francesco Barale [Italie] ; Vera Minazzi [Italie] | Off the beaten track: Freud, sound and music.Statement of a problem and some historico‐critical notes |
| 001226 (2008) |
Georg Boenn [Royaume-Uni] ; Martin Brain [Royaume-Uni] ; Marina De Vos [Royaume-Uni] ; John Ffitch [Royaume-Uni] | Automatic Composition of Melodic and Harmonic Music by Answer Set Programming |
| 001380 (2007) |
Alexander Moskovsky [Russie] ; Vladimir Roganov [Russie] ; Sergei Abramov [Russie] ; Anton Kuznetsov [Russie] | Variable Reassignment in the T++ Parallel Programming Language |
| 001402 (2007) |
Peter Lorge | The Problem of Beauty: Aesthetic Thought and Pursuits in Northern Song Dynasty China – By Ronald Egan |
| 001457 (2007) |
Laurent Michel [États-Unis] ; Andrew See [États-Unis] ; Pascal Van Hentenryck [États-Unis] | Parallelizing Constraint Programs Transparently |
| 001495 (2007) |
Ezra Cooper [Royaume-Uni] ; Sam Lindley [Royaume-Uni] ; Philip Wadler [Royaume-Uni] ; Jeremy Yallop [Royaume-Uni] | Links: Web Programming Without Tiers |
| 001652 (2006) |
Christian Schulte [Suède] ; Guido Tack [Allemagne] | Views and Iterators for Generic Constraint Implementations |
| 001766 (2006) |
Rafael De Clercq | Presentism and the Problem of Cross‐Time Relations |
| 001818 (2006) |
Raphaël Collet [Belgique] ; Peter Van Roy [Belgique] | Failure Handling in a Network-Transparent Distributed Programming Language |
| 001912 (2005) |
Ond Ej Bojar [République tchèque] | Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for Czech |
| 001919 (2005) |
Irene Langkilde-Geary [États-Unis] | An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing |
| 001922 (2005) |
Joachim Niehren [France] ; Jan Schwinghammer [Allemagne] ; Gert Smolka [Allemagne] | A Concurrent Lambda Calculus with Futures |
| 001945 (2005) |
Christian Schulte [Suède] ; Guido Tack [Allemagne] | Views and Iterators for Generic Constraint Implementations |
| 001949 (2005) |
Luis Quesada [Belgique] ; Peter Van Roy [Belgique] ; Yves Deville [Belgique] ; Raphaël Collet [Belgique] | Using Dominators for Solving Constrained Path Problems |
| 001991 (2005) |
Torsten Anders [Royaume-Uni] ; Christina Anagnostopoulou [Royaume-Uni] ; Michael Alcorn [Royaume-Uni] | Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model |
| 001995 (2005) |
Renaud De Landtsheer [Belgique] | Solving CSP Including a Universal Quantification |
| 001B08 (2005) |
Juris Reinfelds [États-Unis] | Higher Order Programming for Unordered Minds |
| 001B89 (2005) |
Alberto Delgado [Colombie] ; Andrés Pérez [Colombie] ; Gustavo Pab N ; Rafael Jordan [Colombie] ; F. Díaz [Colombie] ; Camilo Rueda [Colombie] | An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine |
| 001C06 (2005) |
Peter Hawkins [Australie] ; J. Stuckey [Australie] | A Hybrid BDD and SAT Finite Domain Constraint Solver |
| 001C07 (2005) |
Donatien Grolaux [Belgique] ; Kevin Glynn [Belgique] ; Peter Van Roy [Belgique] | A Fault Tolerant Abstraction for Transparent Distributed Programming |
| 001D01 (2004) |
Christian Schulte [Suède] ; J. Stuckey [Australie] | Speeding Up Constraint Propagation |
| 001D89 (2004) |
Vict Ria Barbosa [Brésil] ; André Da Costa [Brésil] ; Corrêa Yamin [Brésil] ; Resin Geyer [Brésil] | Multiparadigm Model Oriented to Development of Grid Systems |
| 001F64 (2003) |
James Shelley [États-Unis] | The Problem of Non‐Perceptual Art |
| 001F83 (2003) |
Wojciech Legierski [Pologne] | Search Strategy for Constraint-Based Class–Teacher Timetabling |
| 001F84 (2003) |
Wojciech Legierski [Pologne] | Search Programming |
| 002175 (2002) |
Andrew Davison [Thaïlande] | Logic Programming Languages for the Internet |
| 002182 (2002) |
Matthias Hölzl [Allemagne] ; N. Crossley [Australie] | Constraint-Lambda Calculi |
| 002183 (2002) |
| Constraint Combinators |
| 002290 (2002) |
| Review: Gertrude Stein, Modernism, and the Problem of “Genius” Barbara Will |
| 002688 (2001) |
Rolf Backofen [Allemagne] ; Sebastian Will [Allemagne] | Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores |
| 002705 (2001) |
Sven L Mmermann [Suède] ; Enn Tyugu [Suède] ; Vladimir Vlassov [Suède] | Concurrent Implementation of Structurally Synthesized Programs |
| 002746 (2001) |
J Zsef Váncza [Hongrie] ; András Márkus [Hongrie] | A Constraint Engine for Manufacturing Process Planning |
| 002961 (2000) |
Carl Hedman | Three Approaches to the Problem of Child Abuse and Neglect |
| 002A19 (2000) |
Kurt Mehlhorn [Allemagne] ; Sven Thiel [Allemagne] | Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint |
| 002A93 (2000) |
TEE YONG CHEW [Singapour] ; M. Henz [Singapour] ; KA BOON NG [Singapour] | A toolkit for constraint-based inference engines |
| 002D62 (1999) |
Tee Yong Chew [Singapour] ; Martin Henz [Singapour] ; Ka Boon Ng [Singapour] | A Toolkit for Constraint-Based Inference Engines |
| 002D70 (1999) |
P. Van Roy [Belgique] | Announcing the Mozart programming system |
| 003249 (1997) |
John Polito [États-Unis] ; M. Daida [États-Unis] ; F. Bersano-Begey [États-Unis] | Musica ex machina: Composing 16th-century counterpoint with genetic programming and symbiosis |
| 003520 (1996) |
Mark S. Drew | Direct Solution of Orientation-from-Color Problem Using a Modification of Pentland's Light Source Direction Estimator |
| 003D67 (1993) |
Stephen Graver [Royaume-Uni] | Satisfied Pigs and Dissatisfied Philosophers: Schlesinger on the Problem of Evil |
| 004150 (1992) |
Ernst Ulrich [États-Unis] ; P. Lentz [États-Unis] ; Jack Arabian [États-Unis] ; Michael Gustin [États-Unis] ; D. Agrawal [États-Unis] ; Luca Montessoro [Italie] | The Comparative and Concurrent Simulation of discrete-event experiments |
| 004159 (1992) |
E. Probst [États-Unis] | Reader response theory and the problem of meaning |
| 004201 (1992) |
Nigel Blake | A Position in Society, an Intimate Constraint |
| 004B24 (1989) |
Kenneth Whitton | 'GROSSES WIRKET IHR STREIT, GRÖSSERES WIRKET IHR BUND’– ON THE ‘WORT/TON’ PROBLEM IN THE GERMAN LIED |
| 004D10 (1988) |
Stephen W. Smoliar [États-Unis] | The Robot's dilemma: The frame problem in artificial intelligence |
| 004D52 (1988) |
S. Gai ; P. L. Montessoro ; F. Somenzi | MOZART: a concurrent multilevel simulator |
| 004F66 (1987) |
S. Gai ; F. Somenzi ; E. Ulrich | Advances in concurrent multilevel simulation |
| 005B98 (1980) |
Bruce Anderson [Royaume-Uni] | Programming in the home of the future |
| 006A17 (1966) |
H. D. Aiken | The Problem of Evaluative Objectivity |
