Dr. Mann Zoltán Ádám OData support

Department of Computer Science and Information Theory

Tags

allocation (1) · best-first-search (1) · Boolean formulas (1) · Boolean Satisfiability (1) · branch-and-bound (1) · C# (1) · cloud (1) · cloud computing (1) · cloudsim (1) · conflict driven backtracking (1) · conflict-driven clause learning (1) · constraint (1) · constraint logic programming (1) · constraint satisfaction problem (1) · CSP (1) · declarative programing (1) · Frequency Assignment (1) · graph coloring (1) · Hardware/Software Partitioning (1) · ILP (1) · integer linear programming (1) · Microsoft .NET (1) · optimization (1) · partitioning (1) · power aware (1) · problem (1) · Prolog (1) · Pseudo-Boolean Optimization (1) · Pseudo-Boolean Satisfiability (1) · restart (1) · SAT (1) · satisfaction (1) · solving (1) · timetabling (1) · virtual machine (1) · vm allocation (1) · XHSTT (1)

Theses

6 theses in total.  View all theses »

By degree:

By semester: