A Satisfiability Solving Approach

Andreas Schutt (), Thibaut Feydy (), Peter J. Stuckey () and Mark G. Wallace ()
Additional contact information
Andreas Schutt: University of Melbourne
Thibaut Feydy: University of Melbourne
Peter J. Stuckey: University of Melbourne
Mark G. Wallace: Monash University

Chapter Chapter 7 in Handbook on Project Management and Scheduling Vol.1, 2015, pp 135-160 from Springer

Abstract: Abstract Boolean satisfiability solving is a powerful approach for testing the feasibility of propositional logic formulae in conjunctive normal form. Nowadays, Boolean satisfiability solvers efficiently handle problems with millions of clauses and hundreds of thousands of Boolean variables. But still many combinatorial problems such as resource-constrained project scheduling are beyond their capabilities. However, hybrid solution approaches have recently been proposed for resource-constrained project scheduling with generalized precedence constraints (PS | temp | C max ) that incorporate advanced Boolean satisfiability technology such as nogood learning and conflict-driven search. In this chapter, we present a generic exact method for PS | temp | C max using one of the most successful hybrid approaches called lazy clause generation. This approach combines constraint programming solving with Boolean satisfiability solving.

Keywords: Generalized precedence relations; Lazy clause generation; Makespan minimization; Project scheduling; Resource constraints (search for similar items in EconPapers)
Date: 2015
References: Add references at CitEc
Citations: View citations in EconPapers (3)

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ihichp:978-3-319-05443-8_7

Ordering information: This item can be ordered from
http://www.springer.com/9783319054438

DOI: 10.1007/978-3-319-05443-8_7

Access Statistics for this chapter

More chapters in International Handbooks on Information Systems from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().