SymChaff: Exploiting Symmetry in a Structure-Aware Satisfiability Solver

Constraints - Netherlands
doi 10.1007/s10601-008-9060-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework

Journal of the Brazilian Computer Society
Computer Science
2008English

Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability

English

Mini-Workshop: Exploiting Symmetry in Optimization

Oberwolfach Reports
2010English

Exploiting Macro-Actions and Predicting Plan Length in Planning as Satisfiability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Exploiting Symmetry in Temporal Logic Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Integrating Symmetry, Dominance, and Bound-And-Bound in a Multiple Knapsack Solver

English

Exploiting Symmetry in Parallel Computations for Structural Biology

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

NONLINEAR MULTIGRID SOLVER EXPLOITING AMGe COARSE SPACES WITH APPROXIMATION PROPERTIES

2016English

Exploiting Context-Aware Event Data for Fault Analysis

REV Journal on Electronics and Communications
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy