Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Constraint Programming
Papers
NACRE - A Nogood And Clause Reasoning Engine
Gael Glorian
,
Jean Marie Lagniez
and
Christophe Lecoutre
In
:
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Combination of Boxes and PolyhedraAbstractions for Constraint Solving
Ghiles Ziat
,
Alexandre Maréchal
,
Marie Pelleau
,
Antoine Miné
and
Charlotte Truchet
EasyChair Preprint no. 1906
Towards Efficient Solvers for Optimisation Problems
Huu-Phuc Vo
EasyChair Preprint no. 1738
Towards Efficient Algorithms for Constraint Satisfaction Problems
Huu-Phuc Vo
EasyChair Preprint no. 1732
Machine-Assisted Reformulation for MiniZinc
Huu-Phuc Vo
EasyChair Preprint no. 1731
Applied Timetabling for Railways: Experiences with Several Solution Approaches
Julian Jordi
,
Ambra Toletti
,
Gabrio Caimi
and
Kaspar Schüpbach
EasyChair Preprint no. 887
Towards a Closer Integration of Dynamic Programming and Constraint Programming
Steven Prestwich
,
Roberto Rossi
,
S. Armagan Tarim
and
Andrea Visentin
In
:
GCAI-2018. 4th Global Conference on Artificial Intelligence
Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited
Neng-Fa Zhou
and
Håkan Kjellerstrand
EasyChair Preprint no. 154
Constraint Problem Specification as Compression
Steven Prestwich
,
S. Armagan Tarim
and
Roberto Rossi
In
:
GCAI 2016. 2nd Global Conference on Artificial Intelligence
A Modelling Pearl with Sortedness Constraints
Nicolas Beldiceanu
,
Mats Carlsson
,
Pierre Flener
,
Xavier Lorca
,
Justin Pearson
,
Thierry Petit
and
Charles Prud'Homme
In
:
GCAI 2015. Global Conference on Artificial Intelligence
Building Portfolios for the Protein Structure Prediction Problem
Alejandro Arbelaez
,
Youssef Hamadi
and
Michèle Sebag
In
:
WCB10. Workshop on Constraint Based Methods for Bioinformatics
Minimizing enzymes to diferenciate between species
David Buezas
,
Joao Almeida
and
Pedro Barahona
In
:
WCB10. Workshop on Constraint Based Methods for Bioinformatics
Copyright © 2012-2021 easychair.org. All rights reserved.