3 search results - page 1 / 1 » Classical and Quantum Annealing in the Median of Three Satis... |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
JSYML
2000
13 years 4 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
TSMC
2010
12 years 11 months ago
2010
Abstract--The multimode resource-constrained projectscheduling problem with discounted cash flows (MRCPSPDCF) is important and challenging for project management. As the problem is...