相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Clause vivification by unit propagation in CDCL SAT solvers
Chu-Min Li et al.
ARTIFICIAL INTELLIGENCE (2020)
Large neighborhood search with constraint programming for a vehicle routing problem with synchronization constraints
Hossein Hojabri et al.
COMPUTERS & OPERATIONS RESEARCH (2018)
Progress towards the Holy Grail
Eugene C. Freuder
CONSTRAINTS (2018)
Exploiting variable associations to configure efficient local search algorithms in large-scale binary integer programs
Shunji Umetani
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2017)
An enhanced branch-and-bound algorithm for the talent scheduling problem
Hu Qin et al.
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2016)
Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning
Kyle E. C. Booth et al.
IEEE ROBOTICS AND AUTOMATION LETTERS (2016)
Dominance breaking constraints
Geoffrey Chu et al.
CONSTRAINTS (2015)
A method for detecting symmetries in constraint models and its generalisation
Christopher Mears et al.
CONSTRAINTS (2015)
Explaining circuit propagation
Kathryn Glenn Francis et al.
CONSTRAINTS (2014)
Exploiting subproblem dominance in constraint programming
Geoffrey Chu et al.
CONSTRAINTS (2012)
Solving Talent Scheduling with Dynamic Programming
Maria Garcia de la Banda et al.
INFORMS JOURNAL ON COMPUTING (2011)
Philosophy of the MiniZinc challenge
Peter J. Stuckey et al.
CONSTRAINTS (2010)
Pruning Moves
Matteo Fischetti et al.
INFORMS JOURNAL ON COMPUTING (2010)
On implementing symmetry detection
C. Mears et al.
CONSTRAINTS (2009)
Propagation via lazy clause generation
Olga Ohrimenko et al.
CONSTRAINTS (2009)
Optimal rectangle packing
Richard E. Korf et al.
ANNALS OF OPERATIONS RESEARCH (2008)
Planning and scheduling in an e-learning environment. A constraint-programming-based approach
Antonio Garrido et al.
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE (2008)
A new heuristic and dominance relations for no-wait flowshops with setups
T Aldowaisan
COMPUTERS & OPERATIONS RESEARCH (2001)