A competitive and cooperative approach to propositional satisfiability
type: Item
instance of: scholarly article
title: A competitive and cooperative approach to propositional satisfiability
zbMATH Open document ID: 1142.68036
author: Katsumi Inoue
author: Takehide Soh
author: Seiji Ueda
author: Yoshito Sasaura
author: Mutsunori Banbara
author: Naoyuki Tamura
published in: Discrete Applied Mathematics
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68W10
Mathematics Subject Classification ID: 90B35
zbMATH DE Number: 5083140
zbMATH Keywords: SAT
zbMATH Keywords: SAT solver
zbMATH Keywords: parallel execution
zbMATH Keywords: planning
zbMATH Keywords: job-shop scheduling
describes a project that uses: MiniSat
describes a project that uses: SATO
describes a project that uses: PSATO
describes a project that uses: Walksat
describes a project that uses: zChaff
describes a project that uses: DIMACS
describes a project that uses: Graphplan
describes a project that uses: GridSAT
describes a project that uses: Chaff
describes a project that uses: SATLIB
MaRDI profile type: Publication
full work available at URL: j.dam.2006.04.015
OpenAlex ID: W1983758948
cites work: Q5687264
cites work: Fast planning through planning graph analysis
cites work: A fast parallel SAT-solver -- efficient workload balancing
cites work: GridSAT: Design and implementation of a computational grid application
cites work: Q4138187
cites work: A machine program for theorem-proving
cites work: Theory and Applications of Satisfiability Testing
cites work: The Complexity of Flowshop and Jobshop Scheduling
cites work: Algorithm portfolios
cites work: The \(Multi\)-SAT algorithm
cites work: Q4418385
cites work: Parallelizing SATZ using dynamic workload balancing
cites work: GRASP: a search algorithm for propositional satisfiability
cites work: Q5687271
cites work: Generating hard satisfiability problems
cites work: Job Shop Scheduling by Local Search
cites work: PSATO: A distributed propositional prover and its application to quasigroup problems
DOI: 10.1016/J.DAM.2006.04.015
description: scientific article; zbMATH DE number 5083140