166 citations · 587 across the 57 of their papers we have counts for
4 papers · 1 filter
Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
Haoze Wu, André Schidler, Armin Biere +1
Modern SAT solvers combine a rich repertoire of proof rules with sophisticated strategies that determine when and how to apply them. Often, the internal implementations are tightly…
Cubing for Tuning
Haoze Wu, Clark Barrett, Nina Narodytska
We are exploring the problem of building an automated reasoning procedure that adaptively tunes the high-level solving strategy for a given problem. There are two main distinctive…
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
Swen Jacobs, Roderick Bloem, Romain Brenguier +13
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchm…
Global SPACING Constraint (Technical Report)
Nina Narodytska, Peter Skocovsky, Toby Walsh
We propose a new global SPACING constraint that is useful in modeling events that are distributed over time, like learning units scheduled over a study program or repeated patterns…