【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Biere, Armin

ID:DA16421019

Alias Name: Biere, A. (Armin)

Search authors sharing the same name

Search Results1-4 of 4

1

Handbook of satisfiability

edited by Armin Biere ... [et al.]

IOS Press c2021 2nd ed Frontiers in artificial intelligence and applications v. 336

pt. 2

Available at 3 libraries
2

Handbook of satisfiability

edited by Armin Biere ... [et al.]

IOS Press c2021 2nd ed Frontiers in artificial intelligence and applications v. 336

pt. 1

Available at 3 libraries
3

Handbook of satisfiability

edited by Armin Biere ... [et al.]

IOS Press c2009 Frontiers in artificial intelligence and applications v. 185

Available at 26 libraries
4

Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings

ed. Armin Biere, Carla P. Gomes

Springer 2006 Lecture notes in computer science 4121

Available at 8 libraries

Search this author

Related Authors