Search
Search Results
-
Evaluating state-of-the-art
# SAT solvers on industrial configuration spacesProduct lines are widely used to manage families of products that share a common base of features. Typically, not every combination (configuration)...
-
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
Many constraint satisfaction and optimisation problems can be solved effectively by encoding them as instances of the Boolean Satisfiability problem...
-
Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers
Distributed clause-sharing SAT solvers can solve problems up to one hundred times faster than sequential SAT solvers by sharing derived information...
-
Shared SAT Solvers and SAT Memory in Distributed Business Applications
We propose a software architecture where SAT solvers act as a shared network resource for distributed business applications. There can be multiple...
-
Active Learning for SAT Solver Benchmarking
Benchmarking is a crucial phase when develo** algorithms. This also applies to solvers for the SAT (propositional satisfiability) problem....
-
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques
Open environmental software systems are often time-sensitive, as they need to respond to other entities within the systems and/or in the environments...
-
Truth-Table Net: A New Convolutional Architecture Encodable by Design into SAT Formulas
With the expanding role of neural networks, the need for complete and sound verification of their property has become critical. In the recent years,...
-
Free-size accelerated Kuwahara filter
Kuwahara filter is a smoothing filter used in image processing for adaptive noise reduction that has the ability to preserve object edges....
-
Command filter-based I&I adaptive control for MIMO uncertain systems with input saturation and disturbances
This paper develops a control strategy based on immersion and invariance (I&I) adaptive methodology for a class of multi-input multi-output (MIMO)...
-
On-board autonomy operations for OPS-SAT experiment
Upcoming space missions are requiring a higher degree of on-board autonomy operations to increase quality science return, to minimize closed-loop...
-
An Adaptive Filter for Preference Fine-Tuning in Recommender Systems
A recommender system may recommend certain items that the users would not prefer. This can be caused by either the imperfection of the recommender...
-
A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons
In Mathematical Music theory, the Aperiodic Tiling Complements Problem consists in finding all the possible aperiodic complements of a given rhythm...
-
SAT-Net: a side attention network for retinal image segmentation
Retinal vessel segmentation plays an important role in the automatic assessment of eye health. Deep learning technology has been extensively employed...
-
Scalable SAT Solving in the Cloud
Previous efforts on making Satisfiability (SAT) solving fit for high performance computing (HPC) have led to super-linear speedups on particular...
-
Exploring SAT for Cryptanalysis: (Quantum) Collision Attacks Against 6-Round SHA-3
In this work, we focus on collision attacks against instances of SHA-3 hash family in both classical and quantum settings. Since the 5-round...
-
Optimized SAT encoding of conformance checking artefacts
Conformance checking is a growing discipline that aims at assisting organizations in monitoring their processes. On its core, conformance checking...
-
DCCF: Deep Comprehensible Color Filter Learning Framework for High-Resolution Image Harmonization
Image color harmonization algorithm aims to automatically match the color distribution of foreground and background images captured in different...
-
Function Synthesis for Maximizing Model Counting
Given a boolean formula \(\phi (X, Y, Z)\) , the...
-
Designing of Energy-Efficient Approximate Multiplier Circuit for Processing Unit of IoT Devices
Approximation strategies and techniques play a vital role in reducing power consumption, area and enhancing efficiency for numerous applications such...
