( en | de | ru )

 

Disambiguation of "Klieber, William"

Author of the publication

copydeleteadd this publication to your clipboard
Solving QBF with Free Variables.

, , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 415-431. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eberhard Klieber

Sebastian Klieber

Hans Klieber

Dirk Klieber

Wolfgang Klieber

 

Other publications of authors with the same name

Detecting Leaks of Sensitive Data Due to Stale Reads., , , , and . SecDev, page 37-44. IEEE Computer Society, (2018)Solving QBF with counterexample guided refinement., , , and . Artif. Intell., (2016)A Non-prenex, Non-clausal QBF Solver with Game-State Learning., , , and . SAT, volume 6175 of Lecture Notes in Computer Science, page 128-142. Springer, (2010)On Conflicts and Strategies in QBF., , and . LPAR (short papers), volume 35 of EPiC Series in Computing, page 28-41. EasyChair, (2015)Smartphone Security., and . IEEE Pervasive Comput., 14 (4): 16-21 (2015)Solving QBF with Free Variables., , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 415-431. Springer, (2013)Solving QBF with Counterexample Guided Refinement., , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 114-128. Springer, (2012)Model Checking and the State Explosion Problem., , , and . LASER Summer School, volume 7682 of Lecture Notes in Computer Science, page 1-30. Springer, (2011)Android taint flow analysis for app sets., , , , and . SOAP@PLDI, page 5:1-5:6. ACM, (2014)Automated Code Repair Based on Inferred Specifications., and . SecDev, page 130-137. IEEE Computer Society, (2016)