×

Found 523 Documents (Results 1–100)

ZDD-based algorithmic framework for solving shortest reconfiguration problems. (English) Zbl 07745660

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 167-183 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic abstract heaps for polymorphic information-flow guard inference. (English) Zbl 07728615

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 66-90 (2023).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic verification and strategy synthesis for turn-based stochastic games. (English) Zbl 07724866

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 388-406 (2022).
MSC:  68Q60 91A15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Equivalence checking 40 years after: a review of bisimulation tools. (English) Zbl 1524.68189

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 213-265 (2022).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Representing abstract dialectical frameworks with binary decision diagrams. (English) Zbl 07671887

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 177-189 (2022).
MSC:  68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI

Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions. (English. Russian original) Zbl 1520.94110

J. Comput. Syst. Sci. Int. 61, No. 4, 539-566 (2022); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2022, No. 4, 66-94 (2022).
MSC:  94D10
PDFBibTeX XMLCite
Full Text: DOI

State complexity of finite partial languages. (English) Zbl 07643471

Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 24th IFIP WG 1.02 international conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13439, 170-183 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Reordering decision diagrams for quantum computing is harder than you might think. (English) Zbl 07615944

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 93-107 (2022).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI

Dealing with the product constraint. (English) Zbl 1502.68276

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 266-281 (2022).
MSC:  68T20 90C15 90C27
PDFBibTeX XMLCite
Full Text: DOI

Efficient operations between MDDs and constraints. (English) Zbl 1502.68274

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 173-189 (2022).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

Be lazy and don’t care: faster CTL model checking for recursive state machines. (English) Zbl 1522.68311

Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 332-350 (2021).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Boolean polynomials, BDDs and CRHS equations – connecting the dots with CryptaPath. (English) Zbl 1485.94094

Dunkelman, Orr (ed.) et al., Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12804, 229-251 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Model checking \(\omega \)-regular properties with decoupled search. (English) Zbl 1493.68208

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 411-434 (2021).
MSC:  68Q60 68Q45 68T20
PDFBibTeX XMLCite
Full Text: DOI

Adapting behaviors via reactive synthesis. (English) Zbl 1493.68201

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 870-893 (2021).
MSC:  68Q60 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computing bottom SCCs symbolically using transition guided reduction. (English) Zbl 1493.68240

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 505-528 (2021).
MSC:  68Q85 68R10
PDFBibTeX XMLCite
Full Text: DOI

BDD4BNN: a BDD-based quantitative analysis framework for binarized neural networks. (English) Zbl 1493.68226

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 175-200 (2021).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

Davis and Putnam meet Henkin: solving DQBF with resolution. (English) Zbl 07495564

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, 30-46 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Improving branch-and-bound using decision diagrams and reinforcement learning. (English) Zbl 07493645

Stuckey, Peter J. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 18th international conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12735, 446-455 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

Checking constraint satisfaction. (English) Zbl 07493638

Stuckey, Peter J. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 18th international conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12735, 332-347 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI HAL

Dual proof generation for quantified Boolean formulas with a BDD-based solver. (English) Zbl 07437093

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 433-449 (2021).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Genmul: generating architecturally complex multipliers to challenge formal verification tools. (English) Zbl 07410746

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 177-191 (2021).
MSC:  68Q60 68Q06 94C11
PDFBibTeX XMLCite
Full Text: DOI

Formal verification of integer multiplier circuits using algebraic reasoning: a survey. (English) Zbl 07410738

Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 1-27 (2021).
MSC:  68V15 68Q06
PDFBibTeX XMLCite
Full Text: DOI

Symbolic coloured SCC decomposition. (English) Zbl 1474.68210

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 64-83 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Generating extended resolution proofs with a BDD-based SAT solver. (English) Zbl 1467.68203

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 76-93 (2021).
MSC:  68V15 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Solving bitvectors with MCSAT: explanations from bits and pieces. (English) Zbl 07614509

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

LTLf synthesis under partial observability: from theory to practice. (English) Zbl 07455737

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 1-17 (2020).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

FPT algorithms to enumerate and count acyclic and totally cyclic orientations. (English) Zbl 07515219

Coutinho, Gabriel (ed.) et al., Proceedings of LAGOS 2019, the tenth Latin and American algorithms, graphs and optimization symposium, Belo Horizonte, Brazil, June 2–7 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 346, 655-666 (2019).
MSC:  05Cxx 90Cxx
PDFBibTeX XMLCite
Full Text: DOI

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