92 search results - page 19 / 19 » Drawing Power Law Graphs |
131
Voted
JSAT
2006
15 years 1 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
124
click to vote
SIGPLAN
1998
15 years 24 days ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...