-
1
-
2
-
3by Ernst, Neil“... reason-maintenance system, and show how this implementation can a) solve static requirements problems; b...”
Published 2012
Get full text
-
4by Ernst, Neil“... reason-maintenance system, and show how this implementation can a) solve static requirements problems; b...”
Published 2012
Get full text
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13by Wu, Zhizheng“...In the past few decades, significant progress has been made in addressing control problems for a...”
Published 2009
Get full text
-
14by Wu, Zhizheng“...In the past few decades, significant progress has been made in addressing control problems for a...”
Published 2009
Get full text
-
15by Zhang, Yun“... financial and engineering objectives and constraints. The first topic of this thesis focuses on solving two...”
Published 2013
Get full text
-
16by Zhang, Yun“... financial and engineering objectives and constraints. The first topic of this thesis focuses on solving two...”
Published 2013
Get full text
-
17by Shlakhter, Oleksandr“... tomorrow's and tomorrow's will impact the ones made the day after. Problems in Engineering, Science...”
Published 2010
Get full text
-
18by Shlakhter, Oleksandr“... tomorrow's and tomorrow's will impact the ones made the day after. Problems in Engineering, Science...”
Published 2010
Get full text
-
19by Mangassarian, Hratch“... problems. Experiments show that three modern QBF solvers together solve 55% of preprocessed QBF instances...”
Published 2012
Get full text
-
20by Mangassarian, Hratch“... problems. Experiments show that three modern QBF solvers together solve 55% of preprocessed QBF instances...”
Published 2012
Get full text