Assessment / Methodology / Health Care / Health Policy / Biomedical Technology / New Technology / Economic evaluation / Economic Value / Boolean Satisfiability / Decision Maker / National Health System / Costs and Cost Analysis / New Technology / Economic evaluation / Economic Value / Boolean Satisfiability / Decision Maker / National Health System / Costs and Cost Analysis