Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1502.03986
Cited By
v1
v2
v3 (latest)
A Multicore Tool for Constraint Solving
13 February 2015
R. Amadini
M. Gabbrielli
J. Mauro
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Multicore Tool for Constraint Solving"
5 / 5 papers shown
Title
Predictive Machine Learning of Objective Boundaries for Solving COPs
Helge Spieker
A. Gotlieb
35
0
0
04 Nov 2021
Anomaly detection in Context-aware Feature Models
J. Mauro
20
4
0
28 Jul 2020
Towards Feature-free TSP Solver Selection: A Deep Learning Approach
Kangfei Zhao
Shengcai Liu
Yu Rong
Jianwei Yu
71
2
0
01 Jun 2020
A Review of Literature on Parallel Constraint Solving
Ian P. Gent
Ciaran McCreesh
Ian Miguel
Neil C. A. Moore
Peter William Nightingale
P. Prosser
Chris Unsworth
35
19
0
29 Mar 2018
SUNNY-CP and the MiniZinc Challenge
R. Amadini
M. Gabbrielli
J. Mauro
26
5
0
26 Jun 2017
1