Tts: A SAT-Solver for Small, Difficult Instances

Journal on Satisfiability, Boolean Modeling and Computation
doi 10.3233/sat190043
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

DSatz: A Directional SAT Solver for Planning

English

Versat: A Verified Modern SAT Solver

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Max-Sat Solver With Lazy Data Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

MiniMaxSAT: An Efficient Weighted Max-Sat Solver

Journal of Artificial Intelligence Research
Artificial Intelligence
2008English

A Verified SAT Solver Framework With Learn, Forget, Restart, and Incrementality

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Unsatisfiability Proofs for Parallel SAT Solver Portfolios With Clause Sharing and Inprocessing

English

Improving SAT Solver Performance With Structure-Based Preferential Bumping

English

Small Random Instances of the Stable Roommates Problem

Journal of Statistical Mechanics: Theory and Experiment
Nonlinear PhysicsUncertaintyStatisticsProbabilityStatistical
2015English

An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy