ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2109.01013
  4. Cited By
On Dedicated CDCL Strategies for PB Solvers

On Dedicated CDCL Strategies for PB Solvers

2 September 2021
Daniel Le Berre
Romain Wallon
ArXiv (abs)PDFHTMLGithub

Papers citing "On Dedicated CDCL Strategies for PB Solvers"

2 / 2 papers shown
Which algorithm to select in sports timetabling?
Which algorithm to select in sports timetabling?European Journal of Operational Research (EJOR), 2023
D. Bulck
Dries R. Goossens
Jan-Patrick Clarner
Angelos Dimitsas
George H. G. Fonseca
Carlos Lamas-Fernandez
Martin Mariusz Lester
Jaap Pedersen
Antony E. Phillips
R. Rosati
130
10
0
04 Sep 2023
On Improving the Backjump Level in PB Solvers
On Improving the Backjump Level in PB Solvers
Romain Wallon
75
0
0
27 Jul 2021
1
Page 1 of 1