Pages that link to "Item:Q2786915"
From MaRDI portal
The following pages link to Controlling a solver execution with the runsolver Tool (Q2786915):
Displaying 11 items.
- Runsolver (Q20839) (← links)
- New local search methods for partial MaxSAT (Q329035) (← links)
- The configurable SAT solver challenge (CSSC) (Q502389) (← links)
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability (Q502391) (← links)
- Evaluation of argument strength in attack graphs: foundations and semantics (Q2060740) (← links)
- Certified DQBF solving by definition extraction (Q2118343) (← links)
- Definability for model counting (Q2303508) (← links)
- Exact hypervolume subset selection through incremental computations (Q2669566) (← links)
- SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers (Q2818043) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q6656460) (← links)