Filter your results
- 29
- 5
- 27
- 6
- 1
- 34
- 1
- 1
- 3
- 2
- 5
- 2
- 1
- 1
- 3
- 2
- 3
- 2
- 3
- 2
- 1
- 2
- 34
- 34
- 18
- 7
- 6
- 6
- 5
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 27
- 34
- 15
- 6
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
The Adaptive Search Method for Constraint Solving and its application to musical CSPsInternational Workshop on Heuristics, 2002, Beijing, China. 9 p
Conference papers
hal-00668300v1
|
|||
A Local Search Method for Constraint SolvingAAAI Fall Symposium "Using Uncertainty within Computation", 2001, North Falmouth, Cape Cod, United States. pp.38-46
Conference papers
hal-00668309v1
|
|||
The GNU Prolog System and its ImplementationACM Symposium on Applied Computing, 2000, Villa Olmo, Como, Italy. pp.ND
Conference papers
hal-00667976v1
|
|||
Yet Another Local Search Method for Constraint SolvingStochastic Algorithms, Foundations and Applications, Dec 2001, Berlin, Germany. pp.73-90, ⟨10.1007/3-540-45322-9_5⟩
Conference papers
istex
hal-00667941v1
|
|||
|
A Parametric Framework for Cooperative Parallel Local SearchEuropean Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Apr 2014, Grenada, Spain. pp.13 - 24, ⟨10.1007/978-3-662-44320-0_2⟩
Conference papers
hal-01117524v1
|
||
|
A Local Search Algorithm for SMTI and its extension to HRT Problems3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom
Conference papers
hal-01144208v1
|
||
|
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States
Conference papers
hal-01144214v1
|
||
|
Parallel Constraint-Based Local Search on the Cell/BE Multicore ArchitectureIDC 2010 - 4th International Symposium on Intelligent Distributed Computing, Sep 2010, Tangier, Morocco. pp.265-274, ⟨10.1007/978-3-642-15211-5_28⟩
Conference papers
hal-00663816v1
|
||
|
On the implementation of GNU PrologTheory and Practice of Logic Programming, 2012, 12 (1-2), pp.253 - 282. ⟨10.1017/S1471068411000470⟩
Journal articles
hal-00665748v1
|
||
Constraint Retraction in FDConference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1.1.48.9662⟩
Conference papers
hal-00668318v1
|
|||
A Minimal Extension of the WAM for clp(FD)International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790
Conference papers
hal-00668913v1
|
|||
|
Code-based Test Generation for Validation of Functional Processor Descriptions9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, Apr 2003, Warsaw, Poland. pp.569-584, ⟨10.1007/3-540-36577-X_41⟩
Conference papers
hal-00667951v1
|
||
Validation of Functional Processor Descriptions by Test GenerationInternational Conference on Using Hardware Design and Verification Languages, 2003, San Jose, United States. pp.569-584
Conference papers
hal-00668242v1
|
|||
Design and Implementation of the GNU Prolog SystemJournal of Functional and Logic Programming, 2001, 6, pp.1
Journal articles
hal-00693240v1
|
|||
Constraint-based Local Search For Discrete OptimizationInternational Conference on Optimization Methods and Software, 2002, Hangzhou, China. pp.ND
Conference papers
hal-00668305v1
|
|||
|
Experiments in Parallel Constraint-Based Local Search11th European conference on Evolutionary computation in combinatorial optimization (EvoCOP'11), Apr 2011, Torino, Italy. pp.96-107, ⟨10.1007/978-3-642-20364-0_9⟩
Conference papers
hal-00663789v1
|
||
|
Parallel constraint-based local search on the HA8000 supercomputer (extended abstract)the 2011 ACM Symposium, Mar 2011, TaiChung, Taiwan. pp.920, ⟨10.1145/1982185.1982386⟩
Conference papers
hal-02296485v1
|
||
|
Large-scale parallelism for constraint-based local search: the costas array case studyConstraints, 2015, 20 (1), pp.30-56. ⟨10.1007/s10601-014-9168-4⟩
Journal articles
hal-01084270v1
|
||
GNU Prolog: Beyond Compiling Prolog to CPractical Aspects of Declarative Languages (PADL), 2000, Boston, United States. pp.81-92
Conference papers
hal-00668314v1
|
|||
Finite Domain Constraints in Constraint Logic ProgrammingEuropean Conference on Operational Research, 1995, Jerusalem, Israel. pp.ND
Conference papers
hal-00668846v1
|
|||
clp(B): Combinig Simplicity and Efficiency in Boolean Constraint SolvingProgramming Language Implementation and Logic Programming, 1994, Madrid, Spain. pp.244-260, ⟨10.1.1.42.4343⟩
Conference papers
hal-00668859v1
|
|||
|
Targeting the Cell Broadband Engine for constraint-based local searchConcurrency and Computation: Practice and Experience, 2012, 13 p. ⟨10.1002/cpe.1855⟩
Journal articles
hal-00663776v1
|
||
Parallel Local SearchHandbook of Parallel Constraint Reasoning, Springer International Publishing, pp.381-417, 2018, 978-3-319-63515-6. ⟨10.1007/978-3-319-63516-3_10⟩
Book sections
hal-01511022v1
|
|||
|
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)Sixth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09)., Sep 2009, Lisbon, Portugal. pp.97-111, ⟨10.4204/EPTCS.5.8⟩
Conference papers
hal-00663842v1
|
||
|
Performance analysis of parallel constraint-based local searchPrinciples and Practice of Parallel Programming, Feb 2012, New Orleans, United States. pp.337-338, ⟨10.1145/2145816.2145883⟩
Conference papers
hal-00693266v1
|
||
|
Flexible cooperation in parallel local search (extended abstract)ACM Symposium on Applied Computing (SAC), Mar 2014, Gyeongju, South Korea. pp.1360 - 1361, ⟨10.1145/2554850.2555140⟩
Conference papers
hal-01117539v1
|
||
Quantum and Digital Annealing for the Quadratic Assignment ProblemIEEE International Conference on Quantum Software (QSW), Jul 2022, Barcelona, Spain. ⟨10.1109/QSW55613.2022.00016⟩
Conference papers
hal-03778602v1
|
|||
Parallel local search for the Costas Array ProblemParallel Computing and Optimization, 2012, Shanghai, China
Conference papers
hal-00693275v1
|
|||
Constraint-Based Local Search for the Costas Array ProblemLearning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France
Conference papers
hal-00760628v1
|
|||
Compiling Constraints in clp(FD)Journal of Logic Programming, 1996, 27 (3), pp.185-226
Journal articles
hal-00693245v1
|
- 1
- 2