×

Found 35 Documents (Results 1–35)

AC simplifications and closure redundancies in the superposition calculus. (English) Zbl 07532517

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, 200-217 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Heterogeneous heuristic optimisation and scheduling for first-order theorem proving. (English) Zbl 1485.68282

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 107-123 (2021).
MSC:  68V15 68T05 68T20
PDFBibTeX XMLCite
Full Text: DOI

Teaching automated theorem proving by example: PyRes 1.2 (system description). (English) Zbl 07614667

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 158-166 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

GRUNGE: a grand unified ATP challenge. (English) Zbl 07178973

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 123-141 (2019).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

An abstraction-refinement framework for reasoning with large theories. (English) Zbl 1511.68326

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 663-679 (2018).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI Link

Model checking against arbitrary public announcement logic: a first-order-logic prover approach for the existential fragment. (English) Zbl 1503.68180

Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 133-152 (2018).
MSC:  68Q60 03B42 68V15
PDFBibTeX XMLCite
Full Text: DOI HAL

Scavenger 0.1: a theorem prover based on conflict resolution. (English) Zbl 1494.68287

de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 344-356 (2017).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Finding finite models in multi-sorted first-order logic. (English) Zbl 1475.68447

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, 323-341 (2016).
MSC:  68V15 03C13 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Extensional crisis and proving identity. (English) Zbl 1448.68459

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 185-200 (2014).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Biographic Reference

all top 3

Software