- Referenced in 72 articles
- Constraint-Based Local Search. The ubiquity of combinatorial...
- Referenced in 25 articles
- WSAT(OIP) is a domain-independent local search...
- Referenced in 509 articles
- Z3 is a high-performance theorem prover being...
- Referenced in 122 articles
- MONA implementation secrets. The MONA tool provides an...
- Referenced in 389 articles
- The Nuprl system is a framework for reasoning...
- Referenced in 404 articles
- Automath is a language designed by N.G. the...
- Referenced in 33 articles
- TVLA: A System for Implementing Static Analyses. We...
- Referenced in 282 articles
- Datalog is a declarative logic programming language that...
- Referenced in 19 articles
- Localizer. Local search is a traditional technique to...