Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(1315)
Toby Walsh
33
Pascal Van Hentenryck
32
Eugene C. Freuder
29
Barry O'sullivan
28
Christian Bessière
28
Peter Stuckey
23
Barbara M. Smith
19
Ian P. Gent
19
Meinolf Sellmann
19
Peter G. Jeavons
18
Keywords
(1342)
Subscribe
Academic
Conferences
CP - Principles and Practice of Constraint Programming
CP - Principles and Practice of Constraint Programming
Publications: 1,245
|
Citation Count: 15,152 (Self-Citation: 1,550)
|
H-Index: 54Year Range: 1993-2011
Interests:
Software Engineering
,
Programming Languages
Paper submissions due: 23 April 2012, Duration:
8 - 12 October 2012, Québec City, Canada
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(1245)
Synthesis of Search Algorithms from High-level CP Models
Samir A. Mohamed Elsayed
,
Laurent Michel
Conference:
Principles and Practice of Constraint Programming - CP
, 2011
Constraint Programming for Mining n-ary Patterns
(
Citations: 2
)
Mehdi Khiari
,
Patrice Boizumault
,
Bruno Crémilleux
Conference:
Principles and Practice of Constraint Programming - CP
, pp. 552-567, 2010
Computing the Density of States of Boolean Formulas
(
Citations: 1
)
Stefano Ermon
,
Carla P. Gomes
,
Bart Selman
Conference:
Principles and Practice of Constraint Programming - CP
, pp. 38-52, 2010
Local Consistency and SAT-Solvers
(
Citations: 1
)
Justyna Petke
,
Peter Jeavons
Conference:
Principles and Practice of Constraint Programming - CP
, pp. 398-413, 2010
A Complete Multi-valued SAT Solver
(
Citations: 1
)
Siddhartha Jain
,
Eoin O’Mahony
,
Meinolf Sellmann
Conference:
Principles and Practice of Constraint Programming - CP
, pp. 281-296, 2010