Aws Albarghouthi, Isil Dillig & Arie Gurfinkel (2016):
Maximal specification synthesis.
In: Rastislav Bodík & Rupak Majumdar: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016.
ACM,
pp. 789–801,
doi:10.1145/2837614.2837628.
Fahiem Bacchus, Matti Järvisalo & Ruben Martins (2021):
Maximum Satisfiability.
In: Armin Biere, Marijn Heule, Hans van Maaren & Toby Walsh: Handbook of Satisfiability,
2 edition,
Frontiers in Artificial Intelligence and Applications.
IOS PRESS,
Netherlands,
pp. 929 – 991,
doi:10.3233/FAIA201008.
Tewodros A. Beyene (2015):
Temporal Program Verification and Synthesis as Horn Constraints Solving.
TU Munich.
Tewodros A. Beyene, Corneliu Popeea & Andrey Rybalchenko (2013):
Solving Existentially Quantified Horn Clauses.
In: Natasha Sharygina & Helmut Veith: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings,
Lecture Notes in Computer Science 8044.
Springer,
pp. 869–882,
doi:10.1007/978-3-642-39799-8_61.
Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan & Andrey Rybalchenko (2015):
Horn Clause Solvers for Program Verification.
In: Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner & Wolfram Schulte: Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday,
Lecture Notes in Computer Science 9300.
Springer,
pp. 24–51,
doi:10.1007/978-3-319-23534-9_2.
Nikolaj Bjørner, Kenneth L. McMillan & Andrey Rybalchenko (2013):
On Solving Universally Quantified Horn Clauses.
In: Francesco Logozzo & Manuel Fähndrich: Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings,
Lecture Notes in Computer Science 7935.
Springer,
pp. 105–125,
doi:10.1007/978-3-642-38856-9_8.
Hossein Hojjat & Philipp Rümmer (2018):
The ELDARICA Horn Solver.
In: Nikolaj Bjørner & Arie Gurfinkel: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018.
IEEE,
pp. 1–7,
doi:10.23919/FMCAD.2018.8603013.
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný & Nate Foster (2016):
Optimizing Horn solvers for network repair.
In: Ruzica Piskac & Muralidhar Talupur: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016.
IEEE,
pp. 73–80,
doi:10.1109/FMCAD.2016.7886663.
Jérôme Leroux, Philipp Rümmer & Pavle Subotic (2016):
Guiding Craig interpolation with domain-specific abstractions.
Acta Informatica 53(4),
pp. 387–424,
doi:10.1007/s00236-015-0236-z.
Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar & Deepak D'Souza (2021):
Specification synthesis with constrained Horn clauses.
In: Stephen N. Freund & Eran Yahav: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021.
ACM,
pp. 1203–1217,
doi:10.1145/3453483.3454104.