Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1401.5334
Cited By
A Microkernel Architecture for Constraint Programming
21 January 2014
L. Michel
Pascal Van Hentenryck
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Microkernel Architecture for Constraint Programming"
1 / 1 papers shown
Title
An efficient constraint based framework forhandling floating point SMT problems
Heytem Zitoun
C. Michel
L. Michel
M. Rueher
34
1
0
27 Feb 2020
1
