Found 6 Documents (Results 1–6)
Certified DQBF solving by definition extraction. (English) Zbl 07495594
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, 499-517 (2021).
Proof complexity of symbolic QBF reasoning. (English) Zbl 07495588
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, 399-416 (2021).
Combining resolution-path dependencies with dependency learning. (English) Zbl 1441.68236
Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 306-318 (2019).
MSC:
68T20
Long distance Q-resolution with dependency schemes. (English) Zbl 1475.68446
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, 500-518 (2016).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (4)
all
top 5
Author
- Slivovsky, Friedrich (6)
- Szeider, Stefan (4)
- Peitl, Tomáš (3)
- Chew, Leroy (1)
- Mengel, Stefan (1)
- Reichl, Franz-Xaver (1)