Proving Infinite Satisfiability
Citation
Baumgartner, P & Bax, J 2013, 'Proving Infinite Satisfiability', in Ken McMillan, Aart Middeldorp, Andrei Voronkov (ed.), Lecture Notes in Computer Science: Logic for Programming, Artificial Intelligence and Reasoning, Springer-Verlag Berlin Heidelberg, Heidelberg, pp. 86-95.Year
2013ANU Authors
Field of Research
- Analysis Of Algorithms And Complexity