> Detailanzeige

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

Handbook of satisfiability

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Buch
Titel: Handbook of satisfiability
Beteiligte: Biere, Armin [HerausgeberIn]; Heule, Marijn H. J. [HerausgeberIn]; Maaren, Hans van [HerausgeberIn]; Walsh, Toby [HerausgeberIn]
Erschienen: Amsterdam; Berlin; Washington, DC: IOS Press, 2021-
Erschienen in: Frontiers in artificial intelligence and applications ; volume 336
Sprache: Englisch
Entstehung:
Anmerkungen:

Verweise

Zeige weitere

weniger zeigen

> Mehrbändiges Werk

Biere, Armin [HerausgeberIn]; Heule, Marijn H. J. [HerausgeberIn]; Maaren, Hans van [HerausgeberIn]; Walsh, Toby [HerausgeberIn]
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]

Biere, Armin [HerausgeberIn]; Heule, Marijn H. J. [HerausgeberIn]; Maaren, Hans van [HerausgeberIn]; Walsh, Toby [HerausgeberIn]
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]