Search Sciweavers | Sciweavers

881 search results - page 3 / 177

» Solving satisfiability problems with preferences

click to vote

IPPS
1999
IEEE

138views Distributed And Parallel Com...» more IPPS 1999»

Solving Satisfiability Problems on FPGAs using Experimental Unit Propagation Heuristic

14 years 26 days ago

Download ipdps.cc.gatech.edu

This paperpresents new resultson anapproach for solvingsatisfiability problems (SAT), that is, creating a logic circuit that is specialized to solve each problem instance on Field ...

Takayuki Suyama, Makoto Yokoo, Akira Nagoya

claim paper

Read More »

click to vote

DASFAA
2009
IEEE

129views Database» more DASFAA 2009»

Towards Preference-Constrained k-Anonymisation

14 years 3 months ago

Download hiplab.mc.vanderbilt.edu

Abstract. In this paper, we propose a novel preference-constrained approach to k-anonymisation. In contrast to the existing works on kanonymisation which attempt to satisfy a minim...

Grigorios Loukides, Achilles Tziatzios, Jianhua Sh...

claim paper

Read More »

click to vote

ISVLSI
2008
IEEE

142views VLSI» more ISVLSI 2008»

Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability

14 years 3 months ago