×

Found 19 Documents (Results 1–19)

Eliminating models during model elimination. (English) Zbl 07532520

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 250-265 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Predicate elimination for preprocessing in first-order theorem proving. (English) Zbl 1475.68441

Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 361-372 (2016).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

First-order logic theorem proving and model building via approximation and instantiation. (English) Zbl 1471.03020

Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 85-100 (2015).
MSC:  03B35 03B25
PDFBibTeX XMLCite
Full Text: DOI arXiv

NRCL – a model building approach to the Bernays-Schönfinkel fragment. (English) Zbl 1471.03013

Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 69-84 (2015).
MSC:  03B35 03B25
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Encoding dependency pair techniques and control strategies for maximal completion. (English) Zbl 1465.68126

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 152-162 (2015).
MSC:  68Q42 68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software