Master's thesis
Alessandro Carrega
University of Genoa, Genoa, Italy, 2009 Feb 11
University of Genoa, Genoa, Italy, 2009 Feb 11
View PDF
Cite
Cite
APA
Click to copy
Carrega, A. (2009, February 11). Advanced Techniques for Propositional Satisfiability (Master's thesis). University of Genoa, Genoa, Italy.
Chicago/Turabian
Click to copy
Carrega, Alessandro. “Advanced Techniques for Propositional Satisfiability.” Master's thesis, University of Genoa, 2009.
MLA
Click to copy
Carrega, Alessandro. Advanced Techniques for Propositional Satisfiability. University of Genoa, 11 Feb. 2009.
BibTeX Click to copy
@mastersthesis{carrega2009a,
title = {Advanced Techniques for Propositional Satisfiability},
year = {2009},
month = feb,
day = {11},
address = {Genoa, Italy},
school = {University of Genoa},
author = {Carrega, Alessandro},
month_numeric = {2}
}
Development of StaGe, a C++ SAT solver, its advanced solving techniques, and experimental comparisons with established SAT solvers, highlighting the effectiveness of Progress Saving combined with Score Initialization and the challenges of improving computational efficiency.
Main contributions of the PhD thesis “Techniques for Optimal Exploitation of Green Networking Capabilities in Future Internet Devices” by Alessandro Carrega. The figure highlights energy-aware network architectures, adaptive power management, intelligent traffic optimization, and experimental results demonstrating the potential for substantial energy savings while maintaining network performance.
Development of StaGe, a C++ SAT solver, its advanced solving techniques, and experimental comparisons with established SAT solvers, highlighting the effectiveness of Progress Saving combined with Score Initialization and the challenges of improving computational efficiency.
Main contributions of the PhD thesis “Techniques for Optimal Exploitation of Green Networking Capabilities in Future Internet Devices” by Alessandro Carrega. The figure highlights energy-aware network architectures, adaptive power management, intelligent traffic optimization, and experimental results demonstrating the potential for substantial energy savings while maintaining network performance.