Search
Search Results
-
Certified Core-Guided MaxSAT Solving
In the last couple of decades, developments in SAT-based optimization have led to highly efficient maximum satisfiability (MaxSAT) solvers, but in...
-
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
In the last decade, numerous algorithms for single-objective Boolean optimization have been proposed that rely on the iterative usage of a highly...
-
Core-Guided and Core-Boosted Search for CP
Core-guided search has proven to be the state-of-the-art in finding optimal solutions for maximum Boolean satisfiability and these techniques have...
-
Core-guided method for constraint-based multi-objective combinatorial optimization
Multi-Objective Combinatorial Optimization(MOCO), which consists of several conflicting objectives to be optimized, finds an ever-increasing number...
-
Core-Guided Model Reformulation
Constraint propagation and SAT solvers often underperform when dealing with optimisation problems that have an additive (or separable) objective...
-
Generic Exact Combinatorial Search at HPC Scale
Exact combinatorial search is essential to a wide range of important applications, and there are many large problems that need to be solved quickly....
-
Hierarchical search algorithm for error detection in floating-point arithmetic expressions
Scientific and engineering applications rely on floating-point arithmetic to approximate real numbers. Due to the inherent rounding errors in...
-
Search Result Presentation
This chapter focuses on the presentation of search results. For some years now, the well-known search engines have deviated from the standard list...
-
Enhancing multi-objective evolutionary neural architecture search with training-free Pareto local search
Neural Architecture Search (NAS), that automates the design process of high-performing neural network architectures, is a multi-objective...
-
Discovering Rules for Rule-Based Machine Learning with the Help of Novelty Search
Automated prediction systems based on machine learning (ML) are employed in practical applications with increasing frequency and stakeholders demand...
-
Unifying Faceted Search and Analytics over RDF Knowledge Graphs
The formulation of analytical queries over Knowledge Graphs in RDF is a challenging task that presupposes familiarity with the syntax of the...
-
Basic block coverage for search-based unit testing and crash reproduction
Search-based techniques have been widely used for white-box test generation. Many of these approaches rely on the approach level and branch distance ...
-
Search Engines Between Bias and Neutrality
In this chapter, we focus on the societal role of search engines. What role do search engines play in knowledge acquisition today, and what role...
-
Multi-strategy improved sparrow search algorithm for job shop scheduling problem
As a new swarm intelligence algorithm, sparrow search algorithm (SSA) has the advantages of fewer parameters, simplicity, strong global and local...
-
The Improved Ordering-Based Search Method Incorporating with Ensemble Learning
The Bayesian network provides a useful way to deal with uncertain information, which helps researchers to better understand the human cognitive...
-
A comprehensive survey of convergence analysis of beetle antennae search algorithm and its applications
In recent years, swarm intelligence optimization algorithms have been proven to have significant effects in solving combinatorial optimization...
-
Incorporating Q-learning and gradient search scheme into JAYA algorithm for global optimization
Many swarm intelligence techniques are facing rigorous challenges since they cannot exploit useful information well during the evolutionary...
-
A lightweight and real-time responsive framework for various visual tasks via neural architecture search
With the enhanced capabilities of edge devices in processing images and video streams, novel deep vision applications are rapidly emerging. To...
-
Binary Neural Architecture Search
Deep convolutional neural networks (DCNNs) have achieved state-of-the-art performance in various computer vision tasks, including image...
-
Investigating Conversational Search Behavior for Domain Exploration
Conversational search has evolved as a new information retrieval paradigm, marking a shift from traditional search systems towards interactive...