A SAT-based framework for computing Envy-Free and Pareto-Efficient Virtual Machine Allocation in Cloud Federation using the Z3 Solver and Counterexample-Guided Abstraction Refinement (CEGAR).
-
Updated
Aug 5, 2026 - Python
#
cegar
Here are 2 public repositories matching this topic...
Optimizing Discrete Abstractions of Dynamical Systems
-
Updated
Aug 16, 2026 - Python
Improve this page
Add a description, image, and links to the cegar topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cegar topic, visit your repo's landing page and select "manage topics."