Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
R. Veroff
Information about the author R. Veroff will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
The application of automated reasoning to formal models of combinatorial optimization
2001
Many formalisms have been proposed over the years to capture combinatorial...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
