Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1401.4613
Cited By
Local Consistency and SAT-Solvers
International Conference on Principles and Practice of Constraint Programming (CP), 2010
18 January 2014
J. Petke
P. Jeavons
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Local Consistency and SAT-Solvers"
2 / 2 papers shown
Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat
Neng-Fa Zhou
88
2
0
17 Sep 2021
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
International Conference on Theory and Applications of Satisfiability Testing (SAT), 2009
Albert Atserias
Johannes Fichte
M. Thurley
LRM
157
157
0
16 Jan 2014
1
Page 1 of 1
