Learning variable activity initialisation for lazy clause generation solvers

DOI10.1007/978-3-030-78230-6_4OpenAlexW3170772251MaRDI QIDQ2117201FDOQ2117201

Ronald van Driel, Emir Demirović, Neil Yorke-Smith

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78230-6_4

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27)

Cites Work

• Propagation via lazy clause generation
• Machine learning for combinatorial optimization: a methodological tour d'horizon
• Model agnostic solution of CSPs via deep learning: a preliminary study
• Debugging unsatisfiable constraint models
• CrystalBall: gazing in the black box of SAT solving
• Core-boosted linear search for incomplete MaxSAT
• Guiding high-performance SAT solvers with unsat-core predictions
• An investigation into prediction + optimisation for the knapsack problem

Cited In (1)

• \textsf{lazyCoP}: lazy paramodulation meets neurally guided search

Uses Software

• Chaff
• CHUFFED
• sunny-cp
• GitHub
• NeuroSAT
• CrystalBall

This page was built for publication: Learning variable activity initialisation for lazy clause generation solvers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117201)