Solving QBF with Counterexample Guided Refinement
You are here
| Title | Solving QBF with Counterexample Guided Refinement |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Janota M, Klieber W., Marques-Silva J, Clarke E. |
| Conference Name | The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012) |
| Date Published | 2012 |
| Conference Location | Trento, Italy |
| URL | http://ulir.ul.ie/handle/10344/2770 |
