Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1002.0134
Cited By
Constraint solvers: An empirical evaluation of design decisions
31 January 2010
Lars Kotthoff
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Constraint solvers: An empirical evaluation of design decisions"
3 / 3 papers shown
Machine learning for constraint solver design -- A case study for the alldifferent constraint
Ian P. Gent
Lars Kotthoff
Ian Miguel
Peter William Nightingale
AI4CE
216
14
0
25 Aug 2010
Using machine learning to make constraint solver implementation decisions
Lars Kotthoff
Ian P. Gent
Ian Miguel
AI4CE
183
0
0
19 May 2010
Dominion -- A constraint solver generator
Lars Kotthoff
AI4CE
186
0
0
31 Jan 2010
1
Page 1 of 1
