> Details

Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

Handbook of satisfiability

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Close

Bookmarks

Media type: Book
Title: Handbook of satisfiability
Contributor: Biere, Armin [HerausgeberIn]; Heule, Marijn H. J. [HerausgeberIn]; Maaren, Hans van [HerausgeberIn]; Walsh, Toby [HerausgeberIn]
imprint: Amsterdam; Berlin; Washington, DC: IOS Press, 2021-
Published in: Frontiers in artificial intelligence and applications ; volume 336
Language: English
Origination:
Footnote:

References

Show more

show less

> Multivolume work

Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]
Part 2: Handbook of satisfiability part 2 edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria)
Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]
Part 1: Handbook of satisfiability part 1 edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria)
Amsterdam; Berlin; Washington, DC: IOS Press, [2021]