×

Found 48 Documents (Results 1–48)

Newest Citations Relevance
Golovnev, Alexander; Lee, Jonathan; Setty, Srinath; Thaler, Justin; Wahby, Riad S.

Brakedown: linear-time and field-agnostic SNARKs for R1CS. (English) Zbl 1531.94057

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 193-226 (2023).
MSC:  94A60 94B05
Cite Review PDF
Full Text: DOI
Towa, Patrick; Vergnaud, Damien

Succinct Diophantine-satisfiability arguments. (English) Zbl 1511.94152

Moriai, Shiho (ed.) et al., Advances in cryptology – ASIACRYPT 2020. 26th international conference on the theory and application of cryptology and information security, Daejeon, South Korea, December 7–11, 2020. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12493, 774-804 (2020).
MSC:  94A60 03D25 11D99
Cite Review PDF
Full Text: DOI
Fichte, Johannes K.; Hecher, Markus; Woltran, Stefan; Zisser, Markus

Weighted model counting on the GPU by exploiting small treewidth. (English) Zbl 1524.68343

Azar, Yossi (ed.) et al., 26th annual European symposium on algorithms, ESA 2018, August 20–22, 2018, Helsinki, Finland. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 112, Article 28, 16 p. (2018).
MSC:  68T20 68R07 68W05
Cite Review PDF
Full Text: DOI
Charatonik, Witold; Guskov, Yegor; Pratt-Hartmann, Ian; Witkowski, Piotr

Two-variable first-order logic with counting in forests. (English) Zbl 1415.68110

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 214-232 (2018).
MSC:  68Q25 03B70
Cite Review PDF
Full Text: DOI
Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao

Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing. (English) Zbl 1471.68173

Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 324-342 (2015).
MSC:  68R07 68T27 68T30 92C50
Cite Review PDF
Full Text: DOI arXiv
Dalchau, Neil; Murphy, Niall; Petersen, Rasmus; Yordanov, Boyan

Synthesizing and tuning chemical reaction networks with specified behaviours. (English) Zbl 1403.92356

Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 16-33 (2015).
MSC:  92E20 68N17 68T15 90B10 60J20
Cite Review PDF
Full Text: DOI arXiv
Szeider, Stefan

Not so easy problems for tree decomposable graphs. (English) Zbl 1231.05252

Acharya, B. D. (ed.) et al., Advances in discrete mathematics and applications: Mysore, 2008. Proceedings of the international conference on discrete mathematics (ICDM 2008), Mysore, India, June 6–10, 2008. Mysore: Ramanujan Mathematical Society (ISBN 978-93-80416-03-8/hbk). Ramanujan Mathematical Society Lecture Notes Series 13, 179-190 (2010).
MSC:  05C85 05C15 05C70 68Q25 68R10
Cite Review PDF
Full Text: arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software