×

Found 72 Documents (Results 1–72)

100
MathJax

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
PDF BibTeX XML Cite
Full Text: DOI

Algorithm selection for dynamic symbolic execution: a preliminary study. (English) Zbl 07496648

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 192-209 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

MedleySolver: online SMT algorithm selection. (English) Zbl 07495591

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 453-470 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI Link

On the hierarchical community structure of practical Boolean formulas. (English) Zbl 07495585

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 359-376 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI arXiv

ProCount: weighted projected model counting with graded project-join trees. (English) Zbl 07495571

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 152-170 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI

Automated aggregator – rewriting with the counting aggregate. (English) Zbl 07455711

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 96-109 (2020).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: arXiv Link

Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness. (English) Zbl 07441081

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 341-356 (2020).
MSC:  68-XX 65-XX
PDF BibTeX XML Cite
Full Text: DOI arXiv

Encoding selection for solving Hamiltonian cycle problems with ASP. (English) Zbl 07453125

Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 302-308 (2019).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: arXiv Link

Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem. (English) Zbl 1489.68255

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 359-375 (2017).
MSC:  68T20 68R05 90C10
PDF BibTeX XML Cite
Full Text: DOI HAL

Why CP portfolio solvers are (under)utilized? Issues and challenges. (English) Zbl 1473.68184

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 349-364 (2015).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI Link

Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. (English) Zbl 1350.68225

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 183-198 (2011).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Captain Jack: new variable selection heuristics in local search for SAT. (English) Zbl 1330.68277

Sakallah, Karem A. (ed.) et al., Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21580-3/pbk). Lecture Notes in Computer Science 6695, 302-316 (2011).
MSC:  68T20 03B05 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Efficiently calculating evolutionary tree measures using SAT. (English) Zbl 1247.68247

Kullmann, Oliver (ed.), Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 4-17 (2009).
MSC:  68T20 92D15
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software