The following pages link to Jesús Giráldez-Cru (Q309917):
Displaying 11 items.
- Generating SAT instances with community structure (Q309919) (← links)
- Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers (Q1656563) (← links)
- In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving (Q1656587) (← links)
- On the community structure of bounded model checking SAT problems (Q1680243) (← links)
- Popularity-similarity random SAT formulas (Q2238712) (← links)
- The Community Structure of SAT Formulas (Q2843344) (← links)
- The Fractal Dimension of SAT Formulas (Q3192184) (← links)
- Using Community Structure to Detect Relevant Learnt Clauses (Q3453229) (← links)
- Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Q5094015) (← links)
- Community Structure in Industrial SAT Instances (Q5235475) (← links)
- Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion (Q6122245) (← links)
