1–20 of 36 hits
Sort by:
Sort by:
-
Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases
British Library Conference Proceedings | 2020| -
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits
British Library Conference Proceedings | 2020| -
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
British Library Conference Proceedings | 2020| -
Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles
British Library Conference Proceedings | 2020| -
SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing
British Library Conference Proceedings | 2020| -
Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths
British Library Conference Proceedings | 2020| -
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers
British Library Conference Proceedings | 2020| -
Equivalence Between Systems Stronger Than Resolution
British Library Conference Proceedings | 2020| -
SAT-Based Encodings for Optimal Decision Trees with Explicit Paths
British Library Conference Proceedings | 2020| -
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
British Library Conference Proceedings | 2020| -
SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers
British Library Conference Proceedings | 2020| -
Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks
British Library Conference Proceedings | 2020| -
Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems
British Library Conference Proceedings | 2020|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.