01172nam a2200289 a 4500 vtls000023540 KUKTEM 20251117144446.0 080116s2006 gw f 001 0 eng|d 3540372067 9783540372066 201107131948 VLOAD 200908141402 VLOAD 200908141333 VLOAD 200908131730 VLOAD 200801161414 kam UMP QA9.3 .S28 2006 SAT 2006 (9th : 2006 : Seattle, WA, USA) Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.) Berlin : Springer, 2006 438. : ill. ; 24 cm. Lecture notes in computer science, 4121 Propositional calculus Congresses Decision making Congresses Computer algorithms Congresses Algebra, Boolean Congresses Biere, Armin Gomes, Carla 0 0 0 0 10000 10000 2019-09-04 0 QA9.3 .S28 2006 0000027980 2019-09-04 00:00:00 1 2019-09-04 OPEN VIRTUA40 36731 36737 VTLSSORT0080*0200*0201*0400*0900*1110*2450*2600*3000*4400*6500*6501*6502*6503*7000*7001*9991