![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in programming required to write complex programs, particularly SQL ...
-
Chapter and Conference Paper
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Form validators based on regular expressions are often used on digital forms to prevent users from inserting data in the wrong format. However, writing these validators can pose a challenge to some users.
-
Article
Virtual machine consolidation using constraint-based multi-objective optimization
With the blooming of cloud computing, the demand for data centers has been rising greatly in recent years. Their energy consumption and environmental impact has become much more significant due to the continuo...
-
Chapter and Conference Paper
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
The recent improvements in solving Maximum Satisfiability (MaxSAT) ...
-
Chapter and Conference Paper
Encodings for Enumeration-Based Program Synthesis
-
Chapter and Conference Paper
Introducing Pareto Minimal Correction Subsets
A Minimal Correction Subset (MCS) of an unsatisfiable constraint set is a minimal subset of constraints that, if removed, makes the constraint set satisfiable. MCSs enjoy a wide range of applications, one of t...