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

2013

ANU Authors

Field of Research

  • Analysis Of Algorithms And Complexity

Updated:  20 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers