✦ LIBER ✦

Using a SAT-solver to schedule sports leagues

✍ Scribed by Andrei Horbach; Thomas Bartsch; Dirk Briskorn

Book ID: 106429679
Publisher: Springer US
Year: 2010
Tongue: English
Weight: 376 KB
Volume: 15
Category: Article
ISSN: 1094-6136
DOI: 10.1007/s10951-010-0194-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

UnitWalk: A New SAT Solver that Uses Loc

UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination

✍ Edward A. Hirsch; Arist Kojevnikov 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 153 KB

UnitWalk: A new SAT solver that uses loc

UnitWalk: A new SAT solver that uses local search guided by unit clause elimination

✍ Edward A. Hirsch; Arist Kojevnikov 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 161 KB

A uniform solution to SAT using membrane

A uniform solution to SAT using membrane creation

✍ Miguel A. Gutiérrez-Naranjo; Mario J. Pérez-Jiménez; Francisco J. Romero-Campero 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Using evolutionary programming to schedu

Using evolutionary programming to schedule tasks on a suite of heterogeneous computers

✍ David B. Fogel; Lawrence J. Fogel 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 488 KB

A general approach for using a stiff equ

A general approach for using a stiff equation solver to integrate a system of partial differential equations

✍ W. R. Zimmerman 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 491 KB

A novel approach to scheduling multipurp

A novel approach to scheduling multipurpose batch plants using unit-slots

✍ Naresh Susarla; Jie Li; I. A. Karimi 📂 Article 📅 2009 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 869 KB

## Abstract Several models for scheduling multipurpose batch plants exist in the literature. The models using unit‐specific event points have shown better solution efficiency on various literature examples. This article presents a novel approach to scheduling multipurpose batch plants, which uses u