805 search results - page 149 / 161 » Enumerating All Solutions for Constraint Satisfaction Proble... |
FROCOS
2009
Springer
14 years 9 days ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
FMCAD
2006
Springer
14 years 3 days ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
DCOSS
2010
Springer
13 years 8 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
AUTOMATICA
2010
13 years 8 months ago
2010
This article presents a solution to the path following problem for the planar vertical take-off and landing aircraft (PVTOL) which is applicable to a class of smooth Jordan curves...
JVCA
1998
13 years 8 months ago
1998
The interactive manipulation of rigid objects in virtual reality environments requires an object behaviour which is at least physically plausible to be useful for applications lik...